-/*\r
- * Jalview - A Sequence Alignment Editor and Viewer\r
- * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
- *\r
- * This program is free software; you can redistribute it and/or\r
- * modify it under the terms of the GNU General Public License\r
- * as published by the Free Software Foundation; either version 2\r
- * of the License, or (at your option) any later version.\r
- *\r
- * This program is distributed in the hope that it will be useful,\r
- * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\r
- * GNU General Public License for more details.\r
- *\r
- * You should have received a copy of the GNU General Public License\r
- * along with this program; if not, write to the Free Software\r
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA\r
- */\r
-/*///////////////////////////////////////////////////////////////////\r
-// This file was taken from java forum\r
-// Re: JFileChooser functioning like normal Windows Apps FileChooser\r
-// Author: ddanimal\r
-// http://forum.java.sun.com/thread.jspa?forumID=57&threadID=327712\r
-*/\r
-\r
-//////////////////////////////////////////////////////////////////\r
-package jalview.io;\r
-\r
-import java.io.*;\r
-import java.util.*;\r
-\r
-import java.awt.*;\r
-import java.awt.event.*;\r
-import javax.swing.*;\r
-import javax.swing.plaf.*;\r
-import javax.swing.plaf.basic.*;\r
-import javax.swing.plaf.metal.*;\r
-import javax.swing.table.*;\r
-\r
-public class JalviewFileChooser\r
- extends JFileChooser\r
-{\r
-\r
-\r
- public JalviewFileChooser(String dir, String[] suffix, String[] desc,\r
- String selected)\r
- {\r
- super(dir);\r
-\r
- JalviewFileFilter chosen = null;\r
-\r
- for (int i = 0; i < suffix.length; i++)\r
- {\r
- JalviewFileFilter jvf = new JalviewFileFilter(suffix[i], desc[i]);\r
- addChoosableFileFilter(jvf);\r
-\r
- if ( (selected != null) && selected.equalsIgnoreCase(desc[i]))\r
- {\r
- chosen = jvf;\r
- }\r
- }\r
-\r
- if (chosen != null)\r
- {\r
- setFileFilter(chosen);\r
- }\r
-\r
- }\r
-\r
-\r
- public void setFileFilter(javax.swing.filechooser.FileFilter filter)\r
- {\r
- super.setFileFilter(filter);\r
-\r
- if (!(getUI() instanceof BasicFileChooserUI)) {\r
- return;\r
- }\r
-\r
- final BasicFileChooserUI ui = (BasicFileChooserUI) getUI();\r
- final String name = ui.getFileName().trim();\r
-\r
- if ((name == null) || (name.length() == 0)) {\r
- return;\r
- }\r
-\r
- EventQueue.invokeLater(new Thread() {\r
- public void run() {\r
- String currentName = ui.getFileName();\r
- if ((currentName == null) || (currentName.length() == 0)) {\r
- ui.setFileName(name);\r
- }\r
- }\r
- });\r
- }\r
-\r
-\r
- public JalviewFileChooser(String dir)\r
- {\r
- super(dir);\r
- }\r
-\r
- public String getSelectedFormat()\r
- {\r
- String format = getFileFilter().getDescription();\r
-\r
- if (format.toUpperCase().startsWith("JALVIEW"))\r
- {\r
- format = "Jalview";\r
- }\r
- else if (format.toUpperCase().startsWith("FASTA"))\r
- {\r
- format = "FASTA";\r
- }\r
- else if (format.toUpperCase().startsWith("MSF"))\r
- {\r
- format = "MSF";\r
- }\r
- else if (format.toUpperCase().startsWith("CLUSTAL"))\r
- {\r
- format = "CLUSTAL";\r
- }\r
- else if (format.toUpperCase().startsWith("BLC"))\r
- {\r
- format = "BLC";\r
- }\r
- else if (format.toUpperCase().startsWith("PIR"))\r
- {\r
- format = "PIR";\r
- }\r
- else if (format.toUpperCase().startsWith("PFAM"))\r
- {\r
- format = "PFAM";\r
- }\r
-\r
- return format;\r
- }\r
-\r
- public int showSaveDialog(Component parent)\r
- throws HeadlessException\r
- {\r
- setDialogType(SAVE_DIALOG);\r
-\r
- int ret = showDialog(parent, null);\r
-\r
- if (getFileFilter() instanceof JalviewFileFilter)\r
- {\r
- JalviewFileFilter jvf = (JalviewFileFilter) getFileFilter();\r
-\r
- if (!jvf.accept(getSelectedFile()))\r
- {\r
- String withExtension = getSelectedFile() + "." +\r
- jvf.getAcceptableExtension();\r
- setSelectedFile(new File(withExtension));\r
- }\r
- }\r
-\r
- if ( (ret == JalviewFileChooser.APPROVE_OPTION) &&\r
- getSelectedFile().exists())\r
- {\r
- int confirm = JOptionPane.showConfirmDialog(parent,\r
- "Overwrite existing file?",\r
- "File exists",\r
- JOptionPane.YES_NO_OPTION);\r
-\r
- if (confirm != JOptionPane.YES_OPTION)\r
- {\r
- ret = this.CANCEL_OPTION;\r
- }\r
- }\r
-\r
- return ret;\r
- }\r
-\r
-\r
-\r
- /**************************************************************************\r
- * Always create the local UI\r
- * @param comp\r
- *************************************************************************/\r
- public final void setUI(ComponentUI comp)\r
- {\r
- UI ui = new UI(this);\r
-\r
- super.setUI(ui);\r
- }\r
-\r
- /**************************************************************************\r
- * Internal implementation of Metal LookAndFeel to create the table sorting\r
- * ability.\r
- *************************************************************************/\r
- private class UI\r
- extends MetalFileChooserUI\r
- {\r
- private DirectoryModel model;\r
-\r
- /**************************************************************************\r
- * Must be overridden to extend\r
- * @param e\r
- *************************************************************************/\r
- public UI(JFileChooser e)\r
- {\r
- super(e);\r
- try{\r
- this.installIcons(e);\r
- }catch(Exception ex)\r
- { System.out.println(ex+"\nProblem installing icons, FileChooser");}\r
- }\r
-\r
- /**************************************************************************\r
- * Overridden to create our own model\r
- *************************************************************************/\r
- protected final void createModel()\r
- {\r
- model = new DirectoryModel(getFileChooser());\r
- }\r
-\r
- /**************************************************************************\r
- * Overridden to get our own model\r
- * @return\r
- *************************************************************************/\r
- public final BasicDirectoryModel getModel()\r
- {\r
- return model;\r
- }\r
-\r
- /**************************************************************************\r
- * Calls the default method then adds a MouseListener to the JTable\r
- * @param chooser\r
- * @return\r
- *************************************************************************/\r
- protected final JPanel createDetailsView(JFileChooser chooser)\r
- {\r
- final JPanel panel = super.createDetailsView(chooser);\r
-\r
- //Since we can't access MetalFileChooserUI's private member detailsTable\r
- //directly, we have to find it in the JPanel\r
- final JTable tbl = findJTable(panel.getComponents());\r
-\r
- if (tbl != null)\r
- {\r
- //Add a mouselistener to listen for presses on column headers\r
- tbl.getTableHeader().addMouseListener(new MouseAdapter()\r
- {\r
- public void mousePressed(MouseEvent e)\r
- {\r
-\r
- e.consume();\r
-\r
- final int col = tbl.getTableHeader().columnAtPoint(e.getPoint());\r
- model.sort(col, tbl);\r
-\r
- }\r
- });\r
- }\r
-\r
- return panel;\r
- }\r
-\r
- /**************************************************************************\r
- * Finds the JTable in the panel so we can add MouseListener\r
- * @param comp\r
- * @return\r
- *************************************************************************/\r
- private JTable findJTable(Component[] comp)\r
- {\r
- for (int i = 0; i < comp.length; i++)\r
- {\r
- if (comp[i] instanceof JTable)\r
- {\r
- return (JTable) comp[i];\r
- }\r
-\r
- if (comp[i] instanceof Container)\r
- {\r
- JTable tbl = findJTable( ( (Container) comp[i]).getComponents());\r
-\r
- if (tbl != null)\r
- {\r
- return tbl;\r
- }\r
- }\r
- }\r
-\r
- return null;\r
- }\r
- }\r
-\r
- /***************************************************************************\r
- * Implementation of BasicDirectoryModel that sorts the Files by column\r
- **************************************************************************/\r
- private final class DirectoryModel\r
- extends BasicDirectoryModel\r
- {\r
- String sortingColumnName=null;\r
- int col = 0;\r
- boolean ascending;\r
-\r
- /**************************************************************************\r
- * Must be overridden to extend BasicDirectoryModel\r
- * @param chooser\r
- *************************************************************************/\r
- DirectoryModel(JFileChooser chooser)\r
- {\r
- super(chooser);\r
- }\r
-\r
-\r
- /**************************************************************************\r
- * Resorts the JFileChooser table based on new column\r
- * @param c\r
- *************************************************************************/\r
- protected final void sort(int c, JTable tbl)\r
- {\r
-\r
-\r
- //Set column and order\r
- col = c;\r
- ascending = !ascending;\r
-\r
- String indicator = " (^)";\r
-\r
- if (ascending)\r
- {\r
- indicator = " (v)";\r
- }\r
-\r
- final JTableHeader th = tbl.getTableHeader();\r
- final TableColumnModel tcm = th.getColumnModel();\r
- TableColumn tc = null;\r
- String title = null;\r
-\r
-\r
- //Remove indicator from old sort, and add to new\r
- for(int i=0; i<tcm.getColumnCount(); i++)\r
- {\r
- tc = tcm.getColumn(i);\r
- title = tc.getHeaderValue().toString();\r
- if (title.endsWith(" (^)") || title.endsWith(" (v)"))\r
- {\r
- title = title.substring(0, title.length() - 4);\r
- }\r
-\r
- if(i==col)\r
- {\r
- sortingColumnName = title;\r
- title = title + indicator;\r
- }\r
-\r
- tc.setHeaderValue(title);\r
- }\r
-\r
- //Requery the file listing\r
- validateFileCache();\r
- }\r
-\r
- /**************************************************************************\r
- * Sorts the data based on current column setting\r
- * @param data\r
- *************************************************************************/\r
- protected final void sort(Vector data)\r
- {\r
- /*\r
- UIManager.getString("FileChooser.fileTypeHeaderText", l),\r
- UIManager.getString("FileChooser.fileAttrHeaderText", l)\r
-*/\r
- if(sortingColumnName==null)\r
- return;\r
-\r
-\r
- if(sortingColumnName.equals(UIManager.getString("FileChooser.fileDateHeaderText")))\r
- {\r
- Collections.sort(data,\r
- new Comparator()\r
- {\r
-\r
- public int compare(Object o1, Object o2)\r
- {\r
- int ret = 1;\r
- final File a = (File) o1;\r
- final File b = (File) o2;\r
-\r
- if (a.lastModified() > b.lastModified())\r
- {\r
- ret = -1;\r
- }\r
- else if (a.lastModified() == b.lastModified())\r
- {\r
- ret = 0;\r
- }\r
-\r
- if (ascending)\r
- {\r
- ret *= -1;\r
- }\r
-\r
- return ret;\r
- }\r
- });\r
- }\r
- else if(sortingColumnName.equals(UIManager.getString("FileChooser.fileSizeHeaderText")))\r
- {\r
-\r
- Collections.sort(data,\r
- new Comparator()\r
- {\r
-\r
- public int compare(Object o1, Object o2)\r
- {\r
- int ret = 1;\r
- final File a = (File) o1;\r
- final File b = (File) o2;\r
-\r
- if (a.length() > b.length())\r
- {\r
- ret = -1;\r
- }\r
- else if (a.length() == b.length())\r
- {\r
- ret = 0;\r
- }\r
-\r
- if (ascending)\r
- {\r
- ret *= -1;\r
- }\r
-\r
- return ret;\r
- }\r
- });\r
- }\r
- else if(sortingColumnName.equals(UIManager.getString("FileChooser.fileTypeHeaderText")))\r
- {\r
- Collections.sort(data,\r
- new Comparator()\r
- {\r
- public int compare(Object o1, Object o2)\r
- {\r
- final String a = getFileSystemView().getSystemTypeDescription( (File)o1 );\r
- final String b = getFileSystemView().getSystemTypeDescription( (File)o2 );\r
- if (ascending)\r
- {\r
- return a.compareToIgnoreCase(b);\r
- }\r
- else\r
- {\r
- return -1 * a.compareToIgnoreCase(b);\r
- }\r
- }\r
- });\r
- }\r
- else if(sortingColumnName.equals(UIManager.getString("FileChooser.fileNameHeaderText")))\r
-{\r
- Collections.sort(data,\r
- new Comparator()\r
- {\r
- public int compare(Object o1, Object o2)\r
- {\r
- final String a = ((File) o1).getName();\r
- final String b = ((File) o2).getName();\r
-\r
- if (ascending)\r
- {\r
- return a.compareToIgnoreCase(b);\r
- }\r
- else\r
- {\r
- return -1 * a.compareToIgnoreCase(b);\r
- }\r
- }\r
- });\r
- }\r
-\r
- }\r
- }\r
-}\r
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ *
+ * This file is part of Jalview.
+ *
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
+//////////////////////////////////////////////////////////////////
+package jalview.io;
+
+import jalview.bin.Cache;
+import jalview.gui.JvOptionPane;
+import jalview.util.MessageManager;
+import jalview.util.Platform;
+
+import java.awt.Component;
+import java.awt.Dimension;
+import java.awt.EventQueue;
+import java.awt.HeadlessException;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
+import java.io.File;
+import java.util.ArrayList;
+import java.util.List;
+import java.util.StringTokenizer;
+import java.util.Vector;
+
+import javax.swing.DefaultListCellRenderer;
+import javax.swing.JFileChooser;
+import javax.swing.JList;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+import javax.swing.SpringLayout;
+import javax.swing.plaf.basic.BasicFileChooserUI;
+
+/**
+ * Enhanced file chooser dialog box.
+ *
+ * NOTE: bug on Windows systems when filechooser opened on directory to view
+ * files with colons in title.
+ *
+ * @author AMW
+ *
+ */
+public class JalviewFileChooser extends JFileChooser
+{
+ /**
+ * Factory method to return a file chooser that offers readable alignment file
+ * formats
+ *
+ * @param directory
+ * @param selected
+ * @return
+ */
+ public static JalviewFileChooser forRead(String directory,
+ String selected)
+ {
+ List<String> extensions = new ArrayList<String>();
+ List<String> descs = new ArrayList<String>();
+ for (FileFormatI format : FileFormats.getInstance().getFormats())
+ {
+ if (format.isReadable())
+ {
+ extensions.add(format.getExtensions());
+ descs.add(format.getName());
+ }
+ }
+ return new JalviewFileChooser(directory,
+ extensions.toArray(new String[extensions.size()]),
+ descs.toArray(new String[descs.size()]), selected, true);
+ }
+
+ /**
+ * Factory method to return a file chooser that offers writable alignment file
+ * formats
+ *
+ * @param directory
+ * @param selected
+ * @return
+ */
+ public static JalviewFileChooser forWrite(String directory,
+ String selected)
+ {
+ // TODO in Java 8, forRead and forWrite can be a single method
+ // with a lambda expression parameter for isReadable/isWritable
+ List<String> extensions = new ArrayList<String>();
+ List<String> descs = new ArrayList<String>();
+ for (FileFormatI format : FileFormats.getInstance().getFormats())
+ {
+ if (format.isWritable())
+ {
+ extensions.add(format.getExtensions());
+ descs.add(format.getName());
+ }
+ }
+ return new JalviewFileChooser(directory,
+ extensions.toArray(new String[extensions.size()]),
+ descs.toArray(new String[descs.size()]), selected, false);
+ }
+
+ public JalviewFileChooser(String dir)
+ {
+ super(safePath(dir));
+ setAccessory(new RecentlyOpened());
+ }
+
+ public JalviewFileChooser(String dir, String[] suffix, String[] desc,
+ String selected)
+ {
+ this(dir, suffix, desc, selected, true);
+ }
+
+ /**
+ * Constructor for a single choice of file extension and description
+ *
+ * @param extension
+ * @param desc
+ */
+ public JalviewFileChooser(String extension, String desc)
+ {
+ this(Cache.getProperty("LAST_DIRECTORY"), new String[] { extension },
+ new String[]
+ { desc }, desc, true);
+ }
+
+ JalviewFileChooser(String dir, String[] extensions, String[] descs,
+ String selected, boolean allFiles)
+ {
+ super(safePath(dir));
+ if (extensions.length == descs.length)
+ {
+ List<String[]> formats = new ArrayList<String[]>();
+ for (int i = 0; i < extensions.length; i++)
+ {
+ formats.add(new String[] { extensions[i], descs[i] });
+ }
+ init(formats, selected, allFiles);
+ }
+ else
+ {
+ System.err.println("JalviewFileChooser arguments mismatch: "
+ + extensions + ", " + descs);
+ }
+ }
+
+ private static File safePath(String dir)
+ {
+ if (dir == null)
+ {
+ return null;
+ }
+
+ File f = new File(dir);
+ if (f.getName().indexOf(':') > -1)
+ {
+ return null;
+ }
+ return f;
+ }
+
+ /**
+ *
+ * @param formats
+ * a list of {extensions, description} for each file format
+ * @param selected
+ * @param allFiles
+ * if true, 'any format' option is included
+ */
+ void init(List<String[]> formats, String selected, boolean allFiles)
+ {
+
+ JalviewFileFilter chosen = null;
+
+ // SelectAllFilter needs to be set first before adding further
+ // file filters to fix bug on Mac OSX
+ setAcceptAllFileFilterUsed(allFiles);
+
+ for (String[] format : formats)
+ {
+ JalviewFileFilter jvf = new JalviewFileFilter(format[0], format[1]);
+ addChoosableFileFilter(jvf);
+ if ((selected != null) && selected.equalsIgnoreCase(format[1]))
+ {
+ chosen = jvf;
+ }
+ }
+
+ if (chosen != null)
+ {
+ setFileFilter(chosen);
+ }
+
+ setAccessory(new RecentlyOpened());
+ }
+
+ @Override
+ public void setFileFilter(javax.swing.filechooser.FileFilter filter)
+ {
+ super.setFileFilter(filter);
+
+ try
+ {
+ if (getUI() instanceof BasicFileChooserUI)
+ {
+ final BasicFileChooserUI fcui = (BasicFileChooserUI) getUI();
+ final String name = fcui.getFileName().trim();
+
+ if ((name == null) || (name.length() == 0))
+ {
+ return;
+ }
+
+ EventQueue.invokeLater(new Thread()
+ {
+ @Override
+ public void run()
+ {
+ String currentName = fcui.getFileName();
+ if ((currentName == null) || (currentName.length() == 0))
+ {
+ fcui.setFileName(name);
+ }
+ }
+ });
+ }
+ } catch (Exception ex)
+ {
+ ex.printStackTrace();
+ // Some platforms do not have BasicFileChooserUI
+ }
+ }
+
+ /**
+ * Returns the selected file format, or null if none selected
+ *
+ * @return
+ */
+ public FileFormatI getSelectedFormat()
+ {
+ if (getFileFilter() == null)
+ {
+ return null;
+ }
+
+ /*
+ * logic here depends on option description being formatted as
+ * formatName (extension, extension...)
+ * or the 'no option selected' value
+ * All Files
+ * @see JalviewFileFilter.getDescription
+ */
+ String format = getFileFilter().getDescription();
+ int parenPos = format.indexOf("(");
+ if (parenPos > 0)
+ {
+ format = format.substring(0, parenPos).trim();
+ try
+ {
+ return FileFormats.getInstance().forName(format);
+ } catch (IllegalArgumentException e)
+ {
+ System.err.println("Unexpected format: " + format);
+ }
+ }
+ return null;
+ }
+
+ File ourselectedFile = null;
+
+ @Override
+ public File getSelectedFile()
+ {
+ File selfile = super.getSelectedFile();
+ if (selfile == null && ourselectedFile != null)
+ {
+ return ourselectedFile;
+ }
+ return selfile;
+ }
+
+ @Override
+ public int showSaveDialog(Component parent) throws HeadlessException
+ {
+ this.setAccessory(null);
+
+ setDialogType(SAVE_DIALOG);
+
+ this.setSelectedFile(null);
+ int ret = showDialog(parent, MessageManager.getString("action.save"));
+ ourselectedFile = getSelectedFile();
+
+ if (getSelectedFile() == null)
+ {
+ // Workaround for Java 9,10 on OSX - no selected file, but there is a
+ // filename typed in
+ try
+ {
+ String filename = ((BasicFileChooserUI) getUI()).getFileName();
+ if (filename != null && filename.length() > 0)
+ {
+ ourselectedFile = new File(getCurrentDirectory(), filename);
+ }
+ } catch (Throwable x)
+ {
+ System.err.println(
+ "Unexpected exception when trying to get filename.");
+ x.printStackTrace();
+ }
+ }
+ if (ourselectedFile == null)
+ {
+ return JalviewFileChooser.CANCEL_OPTION;
+ }
+ if (getFileFilter() instanceof JalviewFileFilter)
+ {
+ JalviewFileFilter jvf = (JalviewFileFilter) getFileFilter();
+
+ if (!jvf.accept(ourselectedFile))
+ {
+ String withExtension = getSelectedFile().getName() + "."
+ + jvf.getAcceptableExtension();
+ ourselectedFile = (new File(getCurrentDirectory(), withExtension));
+ setSelectedFile(ourselectedFile);
+ }
+ }
+ // TODO: ENSURE THAT FILES SAVED WITH A ':' IN THE NAME ARE REFUSED AND THE
+ // USER PROMPTED FOR A NEW FILENAME
+ if ((ret == JalviewFileChooser.APPROVE_OPTION)
+ && ourselectedFile.exists())
+ {
+ int confirm = JvOptionPane.showConfirmDialog(parent,
+ MessageManager.getString("label.overwrite_existing_file"),
+ MessageManager.getString("label.file_already_exists"),
+ JvOptionPane.YES_NO_OPTION);
+
+ if (confirm != JvOptionPane.YES_OPTION)
+ {
+ ret = JalviewFileChooser.CANCEL_OPTION;
+ }
+ }
+
+ return ret;
+ }
+
+ void recentListSelectionChanged(Object selection)
+ {
+ setSelectedFile(null);
+ if (selection != null)
+ {
+ File file = new File((String) selection);
+ if (getFileFilter() instanceof JalviewFileFilter)
+ {
+ JalviewFileFilter jvf = (JalviewFileFilter) this.getFileFilter();
+
+ if (!jvf.accept(file))
+ {
+ setFileFilter(getChoosableFileFilters()[0]);
+ }
+ }
+
+ setSelectedFile(file);
+ }
+ }
+
+ class RecentlyOpened extends JPanel
+ {
+ JList list;
+
+ public RecentlyOpened()
+ {
+
+ String historyItems = jalview.bin.Cache.getProperty("RECENT_FILE");
+ StringTokenizer st;
+ Vector recent = new Vector();
+
+ if (historyItems != null)
+ {
+ st = new StringTokenizer(historyItems, "\t");
+
+ while (st.hasMoreTokens())
+ {
+ recent.addElement(st.nextElement());
+ }
+ }
+
+ list = new JList(recent);
+
+ DefaultListCellRenderer dlcr = new DefaultListCellRenderer();
+ dlcr.setHorizontalAlignment(DefaultListCellRenderer.RIGHT);
+ list.setCellRenderer(dlcr);
+
+ list.addMouseListener(new MouseAdapter()
+ {
+ @Override
+ public void mousePressed(MouseEvent evt)
+ {
+ recentListSelectionChanged(list.getSelectedValue());
+ }
+ });
+
+ this.setBorder(new javax.swing.border.TitledBorder(
+ MessageManager.getString("label.recently_opened")));
+
+ final JScrollPane scroller = new JScrollPane(list);
+
+ 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()
+ {
+ @Override
+ public void run()
+ {
+ scroller.getHorizontalScrollBar()
+ .setValue(scroller.getHorizontalScrollBar().getMaximum());
+ }
+ });
+
+ }
+
+ }
+}
git://source.jalview.org / jalview.git / blobdiff