From 16c9b6bb251d055244403ff998c8b5c0c0588ffb Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 21 Nov 2006 15:40:11 +0000 Subject: [PATCH] preferredSize for spinners --- src/jalview/gui/FeatureRenderer.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/FeatureRenderer.java b/src/jalview/gui/FeatureRenderer.java index 72f4bef..7804bbd 100755 --- a/src/jalview/gui/FeatureRenderer.java +++ b/src/jalview/gui/FeatureRenderer.java @@ -438,6 +438,8 @@ public class FeatureRenderer final JTextArea description = new JTextArea(3,25); final JSpinner start = new JSpinner(); final JSpinner end = new JSpinner(); + start.setPreferredSize(new Dimension(80,20)); + end.setPreferredSize(new Dimension(80,20)); final JPanel colour = new JPanel(); colour.setBorder(BorderFactory.createEtchedBorder()); colour.setMaximumSize(new Dimension(40,10)); @@ -477,9 +479,9 @@ public class FeatureRenderer bigPanel.add(panel, BorderLayout.SOUTH); panel = new JPanel(); - panel.add(new JLabel(" Start: ", JLabel.RIGHT)); + panel.add(new JLabel(" Start:", JLabel.RIGHT)); panel.add(start); - panel.add(new JLabel(" End: ", JLabel.RIGHT)); + panel.add(new JLabel(" End:", JLabel.RIGHT)); panel.add(end); bigPanel.add(panel, BorderLayout.CENTER); } -- 1.7.10.2