1.1 --- a/src/Pure/ML/ml_statistics.scala	Sat Jan 12 22:08:38 2013 +0100
     1.2 +++ b/src/Pure/ML/ml_statistics.scala	Sat Jan 12 22:14:29 2013 +0100
     1.3 @@ -109,6 +109,7 @@
     1.4        Swing_Thread.later {
     1.5          new Frame {
     1.6            iconImage = Isabelle_System.get_icon().getImage
     1.7 +          title = "ML statistics"
     1.8            contents = Component.wrap(new ChartPanel(c))
     1.9            visible = true
    1.10          }