/*
- * 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.
*
package jalview.io;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.awt.Component;
import java.awt.Dimension;
&& 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)
}
});
- 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);
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()