Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/session.scala
changeset 71684 5036edb025b7
parent 71673 88dfbc382a3d
child 71692 f8e52c0152fe 
--- a/src/Pure/PIDE/session.scala	Sat Apr 04 18:05:37 2020 +0200
+++ b/src/Pure/PIDE/session.scala	Sat Apr 04 18:13:05 2020 +0200
@@ -687,7 +687,7 @@
   {
     val snapshot = this.snapshot()
     if (snapshot.is_outdated) {
-      Thread.sleep(output_delay.ms)
+      output_delay.sleep
       await_stable_snapshot()
     }
     else snapshot
isabelle