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 (from parent 1:
7542c09
)
jog pixels for OSX
author
jprocter
<Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000
(17:01 +0000)
committer
jprocter
<Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000
(17:01 +0000)
src/jalview/jbgui/GPreferences.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GPreferences.java
b/src/jalview/jbgui/GPreferences.java
index
4192b48
..
105f28f
100755
(executable)
--- a/
src/jalview/jbgui/GPreferences.java
+++ b/
src/jalview/jbgui/GPreferences.java
@@
-324,7
+324,7
@@
public class GPreferences extends JPanel
annotations.setHorizontalTextPosition(SwingConstants.LEADING);
annotations.setSelected(true);
annotations.setText("Show Annotations");
annotations.setHorizontalTextPosition(SwingConstants.LEADING);
annotations.setSelected(true);
annotations.setText("Show Annotations");
- annotations.setBounds(new Rectangle(169, 16, 200, 23));
+ annotations.setBounds(new Rectangle(169, 14, 200, 23));
annotations.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
annotations.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)
@@
-615,7
+615,7
@@
public class GPreferences extends JPanel
visualTab.add(fontNameCB);
visualTab.add(fontSizeCB);
visualTab.add(fontStyleCB);
visualTab.add(fontNameCB);
visualTab.add(fontSizeCB);
visualTab.add(fontStyleCB);
- annsettingsPanel.setBounds(new Rectangle(173,37,300,62));
+ annsettingsPanel.setBounds(new Rectangle(173,34,300,61));
annsettingsPanel.setLayout(new FlowLayout(FlowLayout.LEFT,0,0));
annsettingsPanel.add(autoAnnotSettings1);
annsettingsPanel.add(autoAnnotSettings2);
annsettingsPanel.setLayout(new FlowLayout(FlowLayout.LEFT,0,0));
annsettingsPanel.add(autoAnnotSettings1);
annsettingsPanel.add(autoAnnotSettings2);