import jalview.gui.JvSwingUtils;
import jalview.gui.StructureViewer;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import net.miginfocom.swing.MigLayout;
@SuppressWarnings("serial")
});
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));
+ }
+ else
+ {
+ btn_queryTDB.setMargin(new Insets(2, 16, 2, 20));
+ }
+ btn_queryTDB.setText(MessageManager.getString("label.search_3dbeacons"));
btn_queryTDB.setIconTextGap(12);
btn_queryTDB.setIcon(tdbImage);
btn_queryTDB.setVerticalTextPosition(SwingConstants.CENTER);
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);
{
return mainFrame;
}
-}
\ No newline at end of file
+}