git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
282aa91
)
JAL-4034 button looks better also on other OSes with the 0 vertical insets
author
Ben Soares
<b.soares@dundee.ac.uk>
Mon, 25 Jul 2022 09:57:51 +0000
(10:57 +0100)
committer
Ben Soares
<b.soares@dundee.ac.uk>
Mon, 25 Jul 2022 09:57:51 +0000
(10:57 +0100)
src/jalview/jbgui/GStructureChooser.java
patch
|
blob
|
history
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
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);
btn_queryTDB.setIconTextGap(12);
btn_queryTDB.setIcon(tdbImage);
btn_queryTDB.setVerticalTextPosition(SwingConstants.CENTER);