From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Mon, 7 Mar 2016 12:54:45 +0000 (+0000)
Subject: JAL-2023 suppress unwanted debug output
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=b06dd5c7f0f1a8d7b75fdf165b7d990681f2e2e5

JAL-2023 suppress unwanted debug output
---

diff --git a/src/jalview/gui/SplitFrame.java b/src/jalview/gui/SplitFrame.java
index f3d852c..1291fda 100644
--- a/src/jalview/gui/SplitFrame.java
+++ b/src/jalview/gui/SplitFrame.java
@@ -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;