X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileChooser.java;h=fe1a90eedafc9851022583286ba3c5604a91cd94;hb=c94c1390298db2e80abc04b371d3e7767f5e5968;hp=df8decff3f2bb0b07ff0193e649fe301916f1308;hpb=bdba25716eaa9492681532cb443c18ed34237488;p=jalview.git diff --git a/src/jalview/io/JalviewFileChooser.java b/src/jalview/io/JalviewFileChooser.java index df8decf..fe1a90e 100755 --- a/src/jalview/io/JalviewFileChooser.java +++ b/src/jalview/io/JalviewFileChooser.java @@ -22,6 +22,7 @@ package jalview.io; import jalview.util.MessageManager; +import jalview.util.Platform; import java.awt.Component; import java.awt.Dimension; @@ -39,6 +40,7 @@ import javax.swing.JList; import javax.swing.JOptionPane; import javax.swing.JPanel; import javax.swing.JScrollPane; +import javax.swing.SpringLayout; /** * Enhanced file chooser dialog box. @@ -260,6 +262,7 @@ public class JalviewFileChooser extends JFileChooser public RecentlyOpened() { + String historyItems = jalview.bin.Cache.getProperty("RECENT_FILE"); StringTokenizer st; Vector recent = new Vector(); @@ -292,7 +295,22 @@ public class JalviewFileChooser extends JFileChooser 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); + + if (new Platform().isAMac()) + { + scroller.setPreferredSize(new Dimension(500, 100)); + } + else + { + scroller.setPreferredSize(new Dimension(130, 200)); + } + this.add(scroller); javax.swing.SwingUtilities.invokeLater(new Runnable()