Slightly smaller recent panel
authoramwaterhouse <Andrew Waterhouse>
Thu, 11 May 2006 14:54:42 +0000 (14:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 11 May 2006 14:54:42 +0000 (14:54 +0000)
src/jalview/io/JalviewFileChooser.java

index b04a705..423f874 100755 (executable)
@@ -223,12 +223,19 @@ public class JalviewFileChooser
 \r
       this.setBorder(new javax.swing.border.TitledBorder("Recently Opened"));\r
 \r
-      JScrollPane scroller = new JScrollPane(list);\r
-      scroller.setPreferredSize(new Dimension(250, 200));\r
+      final JScrollPane scroller = new JScrollPane(list);\r
+      scroller.setPreferredSize(new Dimension(120, 200));\r
       this.add(scroller);\r
-      scroller.getHorizontalScrollBar()\r
-          .setValue(scroller.getHorizontalScrollBar().getMaximum()\r
-          );\r
+\r
+      javax.swing.SwingUtilities.invokeLater(new Runnable()\r
+      {\r
+        public void run()\r
+        {\r
+          scroller.getHorizontalScrollBar().setValue(\r
+              scroller.getHorizontalScrollBar().getMaximum());\r
+        }\r
+      });\r
+\r
 \r
     }\r
 \r