added prompt/fileEnding properties

1 files changed, 16 insertions, 1 deletions

diff --git a/src/compiler/scala/tools/nsc/Properties.scala b/src/compiler/scala/tools/nsc/Properties.scala
index 9f3001c9e0..d6fdca15bb 100644
--- a/src/compiler/scala/tools/nsc/Properties.scala
+++ b/src/compiler/scala/tools/nsc/Properties.scala
@@ -31,7 +31,7 @@ object Properties {
     */
   val versionString: String = {
     val defaultString = "(unknown)"
-    "version " + props.getProperty("version.number")
+    "version " + props.getProperty("version.number", defaultString)
   }
 
   val copyrightString: String = {
@@ -44,6 +44,21 @@ object Properties {
     props.getProperty("file.encoding", defaultString)
   }
 
+  val fileEndingString: String = {
+    val defaultString = ".scala"
+    props.getProperty("file.ending", defaultString)
+  }
+
+  val residentPromptString: String = {
+    val defaultString = "\nnsc> "
+    props.getProperty("resident.prompt", defaultString)
+  }
+
+  val shellPromptString: String = {
+    val defaultString = "\nscala> "
+    props.getProperty("shell.prompt", defaultString)
+  }
+
   val scalaHome: String =
     System.getProperty("scala.home")