diff options
| author | Martin Odersky <odersky@gmail.com> | 2011-02-08 09:41:01 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2011-02-08 09:41:01 +0000 |
| commit | c8e8d798700103fc87f92a7fd0c345fdce43f8d2 (patch) | |
| tree | 72ca5b42e6147dc92dc36d526fefaf06ea381f9a | |
| parent | 3467ad57e4c2b56cdd02ce0c75af4716b5631a10 (diff) | |
| download | scala-c8e8d798700103fc87f92a7fd0c345fdce43f8d2.tar.gz scala-c8e8d798700103fc87f92a7fd0c345fdce43f8d2.tar.bz2 scala-c8e8d798700103fc87f92a7fd0c345fdce43f8d2.zip | |
New option: Ypresentation-delay, to wait with t...
New option: Ypresentation-delay, to wait with typechecking after typing.
| -rw-r--r-- | src/compiler/scala/tools/nsc/settings/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala index 4aa7c5c1ce..85bcefeb4c 100644 --- a/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala +++ b/src/compiler/scala/tools/nsc/settings/ScalaSettings.scala @@ -160,6 +160,7 @@ trait ScalaSettings extends AbsScalaSettings with StandardScalaSettings { val YpresentationLog = StringSetting("-Ypresentation-log", "file", "Log presentation compiler events into file", "") val YpresentationReplay = StringSetting("-Ypresentation-replay", "file", "Replay presentation compiler events from file", "") + val YpresentationDelay = IntSetting("-Ypresentation-delay", "Wait number of ms after typing before starting typechecking", 0, Some(0, 999), str => Some(str.toInt)) /** * -P "Plugin" settings |