X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGStructureChooser.java;h=834e8734bb8647e2fbf630e2d487147edd1760fe;hb=f05e348630e97e1d86d222bd22bab09d6bf0fb06;hp=08cfa0380c37bc5038156366ac8ab632d982aea2;hpb=bb5d9c75833e2d0b9ef8f66b8fcd7d5649a3271f;p=jalview.git diff --git a/src/jalview/jbgui/GStructureChooser.java b/src/jalview/jbgui/GStructureChooser.java index 08cfa03..834e873 100644 --- a/src/jalview/jbgui/GStructureChooser.java +++ b/src/jalview/jbgui/GStructureChooser.java @@ -74,6 +74,7 @@ import jalview.gui.Desktop; import jalview.gui.JvSwingUtils; import jalview.gui.StructureViewer; import jalview.util.MessageManager; +import jalview.util.Platform; import net.miginfocom.swing.MigLayout; @SuppressWarnings("serial") @@ -595,8 +596,15 @@ public abstract class GStructureChooser extends JPanel }); chk_invertFilter.addItemListener(this); - btn_queryTDB = new JButton( - MessageManager.getString("label.search_3dbeacons")); + btn_queryTDB = new JButton(); + 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 + .setText(MessageManager.getString("label.search_3dbeacons")); btn_queryTDB.setIconTextGap(12); btn_queryTDB.setIcon(tdbImage); btn_queryTDB.setVerticalTextPosition(SwingConstants.CENTER); @@ -604,7 +612,6 @@ public abstract class GStructureChooser extends JPanel btn_queryTDB.setFont(VERDANA_12); btn_queryTDB.setToolTipText( MessageManager.getString("label.find_models_from_3dbeacons")); - btn_queryTDB.setMargin(new Insets(2, 16, 2, 20)); // btn_queryTDB.setPreferredSize(new Dimension(200, 32)); btn_queryTDB.setVisible(false); @@ -958,4 +965,4 @@ public abstract class GStructureChooser extends JPanel { return mainFrame; } -} \ No newline at end of file +}