# HG changeset patch
# User wenzelm
# Date 1358024918 -3600
# Node ID 2b15227b17e8ee0ec12e6425b35e6f2d006df112
# Parent  86389991636e4a79c4f38bb51811b67ed63a5e5b
add icon for toplevel windows;

diff -r 86389991636e -r 2b15227b17e8 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
+        }
       })
 }
 
diff -r 86389991636e -r 2b15227b17e8 src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Sat Jan 12 21:15:44 2013 +0100
+++ b/src/Pure/System/gui_setup.scala	Sat Jan 12 22:08:38 2013 +0100
@@ -23,6 +23,8 @@
   }
 
   def top = new MainFrame {
+    iconImage = Isabelle_System.get_icon().getImage
+
     title = "Isabelle setup"
 
     // components
diff -r 86389991636e -r 2b15227b17e8 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Jan 12 21:15:44 2013 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sat Jan 12 22:08:38 2013 +0100
@@ -13,6 +13,7 @@
   BufferedWriter, OutputStreamWriter, IOException, FileInputStream, BufferedInputStream}
 import java.awt.{GraphicsEnvironment, Font}
 import java.awt.font.TextAttribute
+import javax.swing.ImageIcon
 
 import scala.io.Source
 import scala.util.matching.Regex
@@ -433,4 +434,10 @@
       finally { stream.close }
     }
   }
+
+
+  /* icon */
+
+  def get_icon(): ImageIcon =
+    new ImageIcon(platform_path(Path.explode("~~/lib/logo/isabelle.gif")))
 }
diff -r 86389991636e -r 2b15227b17e8 src/Pure/Tools/build_dialog.scala
--- a/src/Pure/Tools/build_dialog.scala	Sat Jan 12 21:15:44 2013 +0100
+++ b/src/Pure/Tools/build_dialog.scala	Sat Jan 12 22:08:38 2013 +0100
@@ -64,6 +64,9 @@
     more_dirs: List[(Boolean, Path)],
     session: String): MainFrame = new MainFrame
   {
+    iconImage = Isabelle_System.get_icon().getImage
+
+
     /* GUI state */
 
     private var is_stopped = false
diff -r 86389991636e -r 2b15227b17e8 src/Tools/Graphview/src/graphview.scala
--- a/src/Tools/Graphview/src/graphview.scala	Sat Jan 12 21:15:44 2013 +0100
+++ b/src/Tools/Graphview/src/graphview.scala	Sat Jan 12 22:08:38 2013 +0100
@@ -37,6 +37,8 @@
       catch { case exn: Throwable => println(Exn.message(exn)); sys.exit(1) }
 
     val top = new MainFrame {
+      iconImage = Isabelle_System.get_icon().getImage
+
       title = "Graphview"
       minimumSize = new Dimension(640, 480)
       preferredSize = new Dimension(800, 600)