JAL-2023 suppress unwanted debug output bug/JAL-2023_cdsProjectError
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 7 Mar 2016 12:54:45 +0000 (12:54 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 7 Mar 2016 12:54:45 +0000 (12:54 +0000)
src/jalview/gui/SplitFrame.java

index f3d852c..1291fda 100644 (file)
@@ -38,15 +38,12 @@ import java.awt.event.KeyEvent;
 import java.awt.event.KeyListener;
 import java.beans.PropertyVetoException;
 import java.util.Map.Entry;
-import java.util.Set;
 
 import javax.swing.AbstractAction;
 import javax.swing.InputMap;
 import javax.swing.JComponent;
 import javax.swing.JMenuItem;
 import javax.swing.KeyStroke;
-import javax.swing.UIDefaults;
-import javax.swing.UIManager;
 import javax.swing.event.InternalFrameAdapter;
 import javax.swing.event.InternalFrameEvent;
 
@@ -89,13 +86,13 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI
      * estimate width and height of SplitFrame; this.getInsets() doesn't seem to
      * give the full additional size (a few pixels short)
      */
-    UIDefaults defaults = UIManager.getDefaults();
-    Set<Object> keySet = defaults.keySet();
-    for (Object key : keySet)
-    {
-      System.out.println(key.toString() + " = "
-              + UIManager.get(key).toString());
-    }
+    // UIDefaults defaults = UIManager.getDefaults();
+    // Set<Object> keySet = defaults.keySet();
+    // for (Object key : keySet)
+    // {
+    // System.out.println(key.toString() + " = "
+    // + UIManager.get(key).toString());
+    // }
     int widthFudge = Platform.isAMac() ? 28 : 28; // Windows tbc
     int heightFudge = Platform.isAMac() ? 50 : 50; // tbc
     int width = ((AlignFrame) getTopFrame()).getWidth() + widthFudge;