From 187e37e1870abde7cd28ecd3eda2b8cdf40a88a9 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 11 May 2006 14:54:42 +0000
Subject: [PATCH] Slightly smaller recent panel

---
 src/jalview/io/JalviewFileChooser.java |   17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/src/jalview/io/JalviewFileChooser.java b/src/jalview/io/JalviewFileChooser.java
index b04a705..423f874 100755
--- a/src/jalview/io/JalviewFileChooser.java
+++ b/src/jalview/io/JalviewFileChooser.java
@@ -223,12 +223,19 @@ public class JalviewFileChooser
 
       this.setBorder(new javax.swing.border.TitledBorder("Recently Opened"));
 
-      JScrollPane scroller = new JScrollPane(list);
-      scroller.setPreferredSize(new Dimension(250, 200));
+      final JScrollPane scroller = new JScrollPane(list);
+      scroller.setPreferredSize(new Dimension(120, 200));
       this.add(scroller);
-      scroller.getHorizontalScrollBar()
-          .setValue(scroller.getHorizontalScrollBar().getMaximum()
-          );
+
+      javax.swing.SwingUtilities.invokeLater(new Runnable()
+      {
+        public void run()
+        {
+          scroller.getHorizontalScrollBar().setValue(
+              scroller.getHorizontalScrollBar().getMaximum());
+        }
+      });
+
 
     }
 
-- 
1.7.10.2