From 0a7a19cf507b20cb1eb6f8aaf7c040ecf0cd5825 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Mon, 25 Jul 2022 10:57:51 +0100 Subject: [PATCH] JAL-4034 button looks better also on other OSes with the 0 vertical insets --- src/jalview/jbgui/GStructureChooser.java | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/jalview/jbgui/GStructureChooser.java b/src/jalview/jbgui/GStructureChooser.java index 0c5af95..834e873 100644 --- 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); -- 1.7.10.2