Revision: 6973 Author: [email protected] Date: Tue Nov 17 14:51:47 2009 Log: Adds additional icon sizes so Alt-Tab (etc) doesn't try and scale up the 16x16 icon. Also fixes unused import left in previous change.
Patch by: jat Review by: rjrjr (TBR) http://code.google.com/p/google-web-toolkit/source/detail?r=6973 Added: /trunk/dev/core/src/com/google/gwt/dev/shell/icon64.png Modified: /trunk/dev/core/src/com/google/gwt/dev/SwingUI.java /trunk/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java ======================================= --- /dev/null +++ /trunk/dev/core/src/com/google/gwt/dev/shell/icon64.png Tue Nov 17 14:51:47 2009 Binary file, no diff available. ======================================= --- /trunk/dev/core/src/com/google/gwt/dev/SwingUI.java Fri Oct 16 20:22:17 2009 +++ /trunk/dev/core/src/com/google/gwt/dev/SwingUI.java Tue Nov 17 14:51:47 2009 @@ -31,6 +31,7 @@ import java.awt.event.WindowEvent; import java.io.File; import java.net.URL; +import java.util.Arrays; import java.util.Map; import javax.swing.Icon; @@ -181,7 +182,12 @@ @Override public void initialize(Type logLevel) { super.initialize(logLevel); - ImageIcon gwtIcon = loadImageIcon("icon24.png"); + ImageIcon gwtIcon16 = loadImageIcon("icon16.png"); + ImageIcon gwtIcon24 = loadImageIcon("icon24.png"); + ImageIcon gwtIcon32 = loadImageIcon("icon32.png"); + ImageIcon gwtIcon48 = loadImageIcon("icon48.png"); + ImageIcon gwtIcon64 = loadImageIcon("icon64.png"); + ImageIcon gwtIcon128 = loadImageIcon("icon128.png"); frame = new JFrame("GWT Development Mode"); tabs = new JTabbedPane(); if (options.alsoLogToFile()) { @@ -189,7 +195,7 @@ } mainWnd = new ShellMainWindow(logLevel, options.getLogFile("main.log")); topLogger = mainWnd.getLogger(); - tabs.addTab("Development Mode", gwtIcon, mainWnd, "GWT Development Mode"); + tabs.addTab("Development Mode", gwtIcon24, mainWnd, "GWT Development Mode"); frame.getContentPane().add(tabs); frame.setSize(950, 700); frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE); @@ -202,7 +208,9 @@ } } }); - frame.setIconImage(loadImageIcon("icon16.png").getImage()); + frame.setIconImages(Arrays.asList(gwtIcon48.getImage(), + gwtIcon32.getImage(), gwtIcon64.getImage(), gwtIcon128.getImage(), + gwtIcon16.getImage())); frame.setVisible(true); } ======================================= --- /trunk/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java Tue Nov 17 14:20:58 2009 +++ /trunk/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java Tue Nov 17 14:51:47 2009 @@ -68,7 +68,6 @@ import javax.swing.event.TreeSelectionListener; import javax.swing.event.HyperlinkEvent.EventType; import javax.swing.text.html.HTMLDocument; -import javax.swing.text.html.HTMLEditorKit; import javax.swing.tree.DefaultMutableTreeNode; import javax.swing.tree.DefaultTreeCellRenderer; import javax.swing.tree.DefaultTreeModel; -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
