JAL-4034 button looks better also on other OSes with the 0 vertical insets

diff --git a/src/jalview/jbgui/GStructureChooser.java b/src/jalview/jbgui/GStructureChooser.java
index 0c5af95..834e873 100644 (file)
--- a/src/jalview/jbgui/GStructureChooser.java
+++ b/src/jalview/jbgui/GStructureChooser.java
@@ -600,14 +600,11 @@ public abstract class GStructureChooser extends JPanel
     if (Platform.isMac())
     {
       // needed to make icon button have round corners in vaqua
-      btn_queryTDB.putClientProperty("JButton.buttonType","bevel");
-      btn_queryTDB.setMargin(new Insets(0, 16, 0, 20));
+      btn_queryTDB.putClientProperty("JButton.buttonType", "bevel");
     }
-    else
-    {
-      btn_queryTDB.setMargin(new Insets(2, 16, 2, 20));
-    }
-    btn_queryTDB.setText(MessageManager.getString("label.search_3dbeacons"));
+    btn_queryTDB.setMargin(new Insets(0, 16, 0, 20));
+    btn_queryTDB
+            .setText(MessageManager.getString("label.search_3dbeacons"));
     btn_queryTDB.setIconTextGap(12);
     btn_queryTDB.setIcon(tdbImage);
     btn_queryTDB.setVerticalTextPosition(SwingConstants.CENTER);