X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileChooser.java;h=1ea67954727dfc8390fe9879155bd43d567ec7af;hb=8b5ec42b22c5f0cd5e8b34823c60c84a27a9763b;hp=f0e0cb1bb9d833045bac8e750a02c0aee65a793c;hpb=d4a690ec5b8ed7480d830e7a81cef9935c9b3a91;p=jalview.git diff --git a/src/jalview/io/JalviewFileChooser.java b/src/jalview/io/JalviewFileChooser.java index f0e0cb1..1ea6795 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-Rel$$) + * Copyright (C) $$Year-Rel$$ 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()