altered layout
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:50:05 +0000 (18:50 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:50:05 +0000 (18:50 +0000)
src/jalview/jbgui/GSliderPanel.java

index 402fb6e..77911b4 100755 (executable)
@@ -17,7 +17,7 @@ public class GSliderPanel extends JPanel
   protected JButton undoButton = new JButton();
   FlowLayout flowLayout1 = new FlowLayout();
   protected JCheckBox allGroupsCheck = new JCheckBox();
-  FlowLayout flowLayout2 = new FlowLayout();
+  BorderLayout borderLayout1 = new BorderLayout();
 
   public GSliderPanel()
   {
@@ -36,12 +36,12 @@ public class GSliderPanel extends JPanel
     slider.setMajorTickSpacing(10);
     slider.setMinorTickSpacing(1);
     slider.setPaintTicks(true);
-    slider.setBackground(new Color(177, 177, 217));
+    slider.setBackground(Color.white);
     slider.setFont(new java.awt.Font("Verdana", 0, 11));
-    slider.setOpaque(false);
+    slider.setDoubleBuffered(true);
     valueField.setFont(new java.awt.Font("Verdana", 0, 11));
     valueField.setMinimumSize(new Dimension(6, 14));
-    valueField.setPreferredSize(new Dimension(50, 21));
+    valueField.setPreferredSize(new Dimension(50, 12));
     valueField.setText("");
     valueField.setHorizontalAlignment(SwingConstants.CENTER);
     valueField.addActionListener(new java.awt.event.ActionListener()
@@ -55,7 +55,7 @@ public class GSliderPanel extends JPanel
     label.setOpaque(false);
     label.setHorizontalAlignment(SwingConstants.CENTER);
     label.setText("set this label text");
-    jPanel1.setLayout(flowLayout2);
+    jPanel1.setLayout(borderLayout1);
     gridLayout1.setRows(2);
     jPanel2.setLayout(flowLayout1);
     applyButton.setFont(new java.awt.Font("Verdana", 0, 11));
@@ -90,7 +90,7 @@ public class GSliderPanel extends JPanel
         allGroupsCheck_actionPerformed(e);
       }
     });
-    this.setBackground(new Color(177, 177, 217));
+    this.setBackground(Color.white);
     this.setPreferredSize(new Dimension(415, 84));
     jPanel2.setOpaque(false);
     jPanel1.setOpaque(false);
@@ -98,9 +98,9 @@ public class GSliderPanel extends JPanel
     jPanel2.add(label, null);
     jPanel2.add(applyButton, null);
     jPanel2.add(undoButton, null);this.add(jPanel1, null);
-    jPanel1.add(slider, null);
-    jPanel1.add(valueField, null);
-    jPanel1.add(allGroupsCheck, null);
+    jPanel1.add(slider,  BorderLayout.WEST);
+    jPanel1.add(valueField,  BorderLayout.CENTER);
+    jPanel1.add(allGroupsCheck, BorderLayout.EAST);
 
   }