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/Tools/task_statistics.scala
changeset 57612 990ffb84489b
parent 51615 072a7249e1ac
child 64041 fd454d9e97c4 
--- a/src/Pure/Tools/task_statistics.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Pure/Tools/task_statistics.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -51,7 +51,7 @@
   }
 
   def show_frame(bins: Int = 100): Unit =
-    Swing_Thread.later {
+    GUI_Thread.later {
       new Frame {
         iconImage = GUI.isabelle_image()
         title = name
isabelle