X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileChooser.java;h=951b998fd596f30c2ddc83a5e2e1bade5eaa1575;hb=17e77c3f2949a0729322b4a8d907f3f34b6a9914;hp=f0e0cb1bb9d833045bac8e750a02c0aee65a793c;hpb=d4a690ec5b8ed7480d830e7a81cef9935c9b3a91;p=jalview.git diff --git a/src/jalview/io/JalviewFileChooser.java b/src/jalview/io/JalviewFileChooser.java index f0e0cb1..951b998 100755 --- a/src/jalview/io/JalviewFileChooser.java +++ b/src/jalview/io/JalviewFileChooser.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9) + * Copyright (C) 2015 The Jalview Authors * * This file is part of Jalview. * @@ -22,6 +22,7 @@ package jalview.io; import jalview.util.MessageManager; +import jalview.util.Platform; import java.awt.Component; import java.awt.Dimension; @@ -223,7 +224,8 @@ public class JalviewFileChooser extends JFileChooser && getSelectedFile().exists()) { int confirm = JOptionPane.showConfirmDialog(parent, - MessageManager.getString("label.overwrite_existing_file"), MessageManager.getString("label.file_already_exists"), + MessageManager.getString("label.overwrite_existing_file"), + MessageManager.getString("label.file_already_exists"), JOptionPane.YES_NO_OPTION); if (confirm != JOptionPane.YES_OPTION) @@ -291,7 +293,8 @@ public class JalviewFileChooser extends JFileChooser } }); - this.setBorder(new javax.swing.border.TitledBorder(MessageManager.getString("label.recently_opened"))); + this.setBorder(new javax.swing.border.TitledBorder(MessageManager + .getString("label.recently_opened"))); final JScrollPane scroller = new JScrollPane(list); @@ -301,10 +304,15 @@ public class JalviewFileChooser extends JFileChooser layout.putConstraint(SpringLayout.NORTH, scroller, 5, SpringLayout.NORTH, this); - // scroller.setPreferredSize(new Dimension(130, 200)); - + if (new Platform().isAMac()) + { + scroller.setPreferredSize(new Dimension(500, 100)); + } + else + { + scroller.setPreferredSize(new Dimension(130, 200)); + } - scroller.setPreferredSize(new Dimension(500, 100)); this.add(scroller); javax.swing.SwingUtilities.invokeLater(new Runnable()