diff options
author | Martin Odersky <odersky@gmail.com> | 2011-02-04 00:06:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-02-04 00:06:20 +0000 |
commit | 985c587364aab272be69dfef72db2e24f4fd4385 (patch) | |
tree | 96fd76260fb3754756bcaf4168b586d15dcaebd8 /src | |
parent | 1038b708f23374439310f3a700a2e1170e2b61a0 (diff) | |
download | scala-985c587364aab272be69dfef72db2e24f4fd4385.tar.gz scala-985c587364aab272be69dfef72db2e24f4fd4385.tar.bz2 scala-985c587364aab272be69dfef72db2e24f4fd4385.zip |
Faster interrupts in IDE when parsing.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/interactive/Global.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/Global.scala b/src/compiler/scala/tools/nsc/interactive/Global.scala index 5d400ed56c..e4befdc1dd 100644 --- a/src/compiler/scala/tools/nsc/interactive/Global.scala +++ b/src/compiler/scala/tools/nsc/interactive/Global.scala @@ -328,6 +328,7 @@ self => allSources = allSources filter (s => unitOfFile contains (s.file)) for (s <- allSources; unit <- getUnit(s)) { + pollForWork(NoPosition) if (!unit.isUpToDate && unit.status != JustParsed) reset(unit) // reparse previously typechecked units. if (unit.status == NotLoaded) parseAndEnter(unit) } |