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/isabelle_logic.scala
changeset 57612 990ffb84489b
parent 56890 7f120d227ca5
child 57912 dd9550f84106 
--- a/src/Tools/jEdit/src/isabelle_logic.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_logic.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -29,7 +29,7 @@
 
   def logic_selector(autosave: Boolean): Option_Component =
   {
-    Swing_Thread.require {}
+    GUI_Thread.require {}
 
     val entries =
       new Logic_Entry("", "default (" + jedit_logic() + ")") ::
isabelle