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/token_markup.scala
changeset 57612 990ffb84489b
parent 57126 3a928dffc37f
child 58529 cd4439d8799c 
--- a/src/Tools/jEdit/src/token_markup.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Tools/jEdit/src/token_markup.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -42,7 +42,7 @@
 
   def edit_control_style(text_area: TextArea, control: String)
   {
-    Swing_Thread.assert {}
+    GUI_Thread.assert {}
 
     val buffer = text_area.getBuffer
isabelle