setIconImage
authoramwaterhouse <Andrew Waterhouse>
Mon, 11 Jul 2005 13:58:31 +0000 (13:58 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 11 Jul 2005 13:58:31 +0000 (13:58 +0000)
src/jalview/gui/Desktop.java

index d5182df..ee9eb27 100755 (executable)
@@ -63,7 +63,7 @@ public class Desktop extends jalview.jbgui.GDesktop
                 MediaTracker mt = new MediaTracker(this);\r
                 mt.addImage(image, 0);\r
                 mt.waitForID(0);\r
-               // setIconImage(image);\r
+                setIconImage(image);\r
             }\r
         }\r
         catch (Exception ex)\r