diff options
author | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-08-12 12:05:21 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-08-12 12:05:21 +0200 |
commit | ed9cca8a2660e7832613be507c4175a532e6edcb (patch) | |
tree | e9f8a8aa14b2cf7f053014034fc9df507f400da1 /src/compiler | |
parent | bc0fc0fb90c81038dba16415ee6e733e4e054a28 (diff) | |
parent | ed9dfee181e56bb83afa0598523786bee5572068 (diff) | |
download | scala-ed9cca8a2660e7832613be507c4175a532e6edcb.tar.gz scala-ed9cca8a2660e7832613be507c4175a532e6edcb.tar.bz2 scala-ed9cca8a2660e7832613be507c4175a532e6edcb.zip |
Merge pull request #3902 from gourlaysama/wip/t4563
SI-4563 friendlier behavior for Ctrl+D in the REPL
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/Properties.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/Properties.scala b/src/compiler/scala/tools/nsc/Properties.scala index ed5fda9c3f..59fefba954 100644 --- a/src/compiler/scala/tools/nsc/Properties.scala +++ b/src/compiler/scala/tools/nsc/Properties.scala @@ -14,6 +14,7 @@ object Properties extends scala.util.PropertiesTrait { // settings based on jar properties def residentPromptString = scalaPropOrElse("resident.prompt", "\nnsc> ") def shellPromptString = scalaPropOrElse("shell.prompt", "\nscala> ") + def shellInterruptedString = scalaPropOrElse("shell.interrupted", ":quit\n") // derived values def isEmacsShell = propOrEmpty("env.emacs") != "" |