import javax.swing.JOptionPane;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
+import javax.swing.SpringLayout;
/**
* Enhanced file chooser dialog box.
public RecentlyOpened()
{
+
String historyItems = jalview.bin.Cache.getProperty("RECENT_FILE");
StringTokenizer st;
Vector recent = new Vector();
this.setBorder(new javax.swing.border.TitledBorder(MessageManager.getString("label.recently_opened")));
final JScrollPane scroller = new JScrollPane(list);
- scroller.setPreferredSize(new Dimension(130, 200));
+
+ SpringLayout layout = new SpringLayout();
+ layout.putConstraint(SpringLayout.WEST, scroller, 5,
+ SpringLayout.WEST, this);
+ layout.putConstraint(SpringLayout.NORTH, scroller, 5,
+ SpringLayout.NORTH, this);
+
+ // scroller.setPreferredSize(new Dimension(130, 200));
+
+
+ scroller.setPreferredSize(new Dimension(500, 100));
this.add(scroller);
javax.swing.SwingUtilities.invokeLater(new Runnable()