src/Pure/Tools/ml_statistics.scala

--- a/src/Pure/Tools/ml_statistics.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Pure/Tools/ml_statistics.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -131,7 +131,7 @@
 
   def show_standard_frames(): Unit =
     ML_Statistics.standard_fields.map(chart(_)).foreach(c =>
-      Swing_Thread.later {
+      GUI_Thread.later {
         new Frame {
           iconImage = GUI.isabelle_image()
           title = name