src/Pure/ML/ml_statistics.scala

--- a/src/Pure/ML/ml_statistics.scala	Sat Jan 12 21:15:44 2013 +0100
+++ b/src/Pure/ML/ml_statistics.scala	Sat Jan 12 22:08:38 2013 +0100
@@ -107,7 +107,11 @@
   def standard_frames: Unit =
     ML_Statistics.standard_fields.map(chart(_)).foreach(c =>
       Swing_Thread.later {
-        new Frame { contents = Component.wrap(new ChartPanel(c)); visible = true }
+        new Frame {
+          iconImage = Isabelle_System.get_icon().getImage
+          contents = Component.wrap(new ChartPanel(c))
+          visible = true
+        }
       })
 }