preferredSize for spinners
authoramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 15:40:11 +0000 (15:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 21 Nov 2006 15:40:11 +0000 (15:40 +0000)
src/jalview/gui/FeatureRenderer.java

index 72f4bef..7804bbd 100755 (executable)
@@ -438,6 +438,8 @@ public class FeatureRenderer
       final JTextArea description = new JTextArea(3,25);\r
       final JSpinner start = new JSpinner();\r
       final JSpinner end = new JSpinner();\r
+      start.setPreferredSize(new Dimension(80,20));\r
+      end.setPreferredSize(new Dimension(80,20));\r
       final JPanel colour = new JPanel();\r
       colour.setBorder(BorderFactory.createEtchedBorder());\r
       colour.setMaximumSize(new Dimension(40,10));\r
@@ -477,9 +479,9 @@ public class FeatureRenderer
         bigPanel.add(panel, BorderLayout.SOUTH);\r
 \r
         panel = new JPanel();\r
-        panel.add(new JLabel(" Start: ", JLabel.RIGHT));\r
+        panel.add(new JLabel(" Start:", JLabel.RIGHT));\r
         panel.add(start);\r
-        panel.add(new JLabel("  End: ", JLabel.RIGHT));\r
+        panel.add(new JLabel("  End:", JLabel.RIGHT));\r
         panel.add(end);\r
         bigPanel.add(panel, BorderLayout.CENTER);\r
       }\r