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/Tools/jEdit/src/session_build.scala
changeset 71704 b9a5eb0f3b43
parent 71692 f8e52c0152fe
child 71725 c255ed582095 
--- a/src/Tools/jEdit/src/session_build.scala	Mon Apr 06 12:36:00 2020 +0200
+++ b/src/Tools/jEdit/src/session_build.scala	Mon Apr 06 12:53:45 2020 +0200
@@ -102,7 +102,7 @@
       }
 
     private val delay_exit =
-      GUI_Thread.delay_first(Time.seconds(1.0))
+      Delay.first(Time.seconds(1.0), gui = true)
       {
         if (can_auto_close) conclude()
         else {
isabelle