src/Pure/Tools/task_statistics.scala
changeset 57612 990ffb84489b
parent 51615 072a7249e1ac
child 64041 fd454d9e97c4
     1.1 --- a/src/Pure/Tools/task_statistics.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Pure/Tools/task_statistics.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4    }
     1.5  
     1.6    def show_frame(bins: Int = 100): Unit =
     1.7 -    Swing_Thread.later {
     1.8 +    GUI_Thread.later {
     1.9        new Frame {
    1.10          iconImage = GUI.isabelle_image()
    1.11          title = name