+ String url = history.getSelectedItem().toString();
+
+ if (url.toLowerCase().endsWith(".jar"))
+ {
+ if (viewport != null)
+ {
+ new FileLoader().LoadFile(viewport, url, FormatAdapter.URL, "Jalview");
+ }
+ else
+ {
+ new FileLoader().LoadFile(url, FormatAdapter.URL, "Jalview");
+ }
+ }
+ else
+ {
+ String format = new IdentifyFile().Identify(url, FormatAdapter.URL);
+
+ if (format.equals("URL NOT FOUND"))
+ {
+ JOptionPane.showInternalMessageDialog(Desktop.desktop,
+ "Couldn't locate " + url,
+ "URL not found",
+ JOptionPane.WARNING_MESSAGE);
+
+ return;
+ }
+
+ if (viewport != null)
+ {
+ new FileLoader().LoadFile(viewport, url, FormatAdapter.URL, format);
+ }
+ else
+ {
+ new FileLoader().LoadFile(url, FormatAdapter.URL, format);
+ }
+ }
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e DOCUMENT ME!
+ */
+ public void inputTextboxMenuItem_actionPerformed(AlignViewport viewport)
+ {
+ CutAndPasteTransfer cap = new CutAndPasteTransfer();
+ cap.setForInput(viewport);
+ Desktop.addInternalFrame(cap, "Cut & Paste Alignment File", 600, 500);
+ }
+
+ /*
+ * Exit the program
+ */
+ public void quit()
+ {
+ jalview.bin.Cache.setProperty("SCREEN_X", getBounds().x + "");
+ jalview.bin.Cache.setProperty("SCREEN_Y", getBounds().y + "");
+ jalview.bin.Cache.setProperty("SCREEN_WIDTH", getWidth() + "");
+ jalview.bin.Cache.setProperty("SCREEN_HEIGHT", getHeight() + "");
+ System.exit(0);
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e DOCUMENT ME!
+ */
+ public void aboutMenuItem_actionPerformed(ActionEvent e)
+ {
+ StringBuffer message = new StringBuffer("JalView version " +
+ jalview.bin.Cache.getProperty(
+ "VERSION") +
+ "; last updated: " +
+ jalview.bin.
+ Cache.getDefault("BUILD_DATE",
+ "unknown"));
+
+ if (!jalview.bin.Cache.getProperty("LATEST_VERSION").equals(
+ jalview.bin.Cache.getProperty("VERSION")))