+ setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
+ setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
+ desktop = new JDesktopPane();
+ desktop.setBackground(Color.white);
+ getContentPane().setLayout(new BorderLayout());
+ getContentPane().add(desktop, BorderLayout.CENTER);
+ desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
+
+ // This line prevents Windows Look&Feel resizing all new windows to maximum
+ // if previous window was maximised
+ desktop.setDesktopManager(new DefaultDesktopManager());
+
+ Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
+ String x = jalview.bin.Cache.getProperty("SCREEN_X");
+ String y = jalview.bin.Cache.getProperty("SCREEN_Y");
+ String width = jalview.bin.Cache.getProperty("SCREEN_WIDTH");
+ String height = jalview.bin.Cache.getProperty("SCREEN_HEIGHT");
+
+ if ( (x != null) && (y != null) && (width != null) && (height != null))
+ {
+ setBounds(Integer.parseInt(x), Integer.parseInt(y),
+ Integer.parseInt(width), Integer.parseInt(height));
+ }
+ else
+ {
+ setBounds( (int) (screenSize.width - 900) / 2,
+ (int) (screenSize.height - 650) / 2, 900, 650);
+ }
+
+ this.addWindowListener(new WindowAdapter()
+ {
+ public void windowClosing(WindowEvent evt)
+ {
+ quit();
+ }
+ });
+
+ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));
+
+ /////////Add a splashscreen on startup
+ /////////Add a splashscreen on startup
+ JInternalFrame frame = new JInternalFrame();
+
+ SplashScreen splash = new SplashScreen(frame, image);
+ frame.setContentPane(splash);
+ frame.setLayer(JLayeredPane.PALETTE_LAYER);
+ frame.setLocation( (int) ( (getWidth() - 750) / 2),
+ (int) ( (getHeight() - 160) / 2));
+
+ addInternalFrame(frame, "", 750, 160, false);
+
+ discoverer = new jalview.ws.Discoverer(); // Only gets started if gui is displayed.
+ }
+
+ private void doVamsasClientCheck()
+ {
+ if (jalview.bin.Cache.vamsasJarsPresent())
+ {
+ VamsasMenu.setVisible(true);
+ vamsasLoad.setVisible(true);
+ }
+
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param frame DOCUMENT ME!
+ * @param title DOCUMENT ME!
+ * @param w DOCUMENT ME!
+ * @param h DOCUMENT ME!
+ */
+ public static synchronized void addInternalFrame(final JInternalFrame frame,
+ String title, int w, int h)
+ {
+ addInternalFrame(frame, title, w, h, true);
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param frame DOCUMENT ME!
+ * @param title DOCUMENT ME!
+ * @param w DOCUMENT ME!
+ * @param h DOCUMENT ME!
+ * @param resizable DOCUMENT ME!
+ */
+ public static synchronized void addInternalFrame(final JInternalFrame frame,
+ String title, int w, int h, boolean resizable)
+ {
+
+ frame.setTitle(title);
+ if (frame.getWidth() < 1 || frame.getHeight() < 1)
+ {
+ frame.setSize(w, h);
+ }
+ // THIS IS A PUBLIC STATIC METHOD, SO IT MAY BE CALLED EVEN IN
+ // A HEADLESS STATE WHEN NO DESKTOP EXISTS. MUST RETURN
+ // IF JALVIEW IS RUNNING HEADLESS
+ /////////////////////////////////////////////////
+ if (System.getProperty("java.awt.headless") != null
+ && System.getProperty("java.awt.headless").equals("true"))
+ {
+ return;
+ }
+
+ openFrameCount++;
+
+ frame.setVisible(true);
+ frame.setClosable(true);
+ frame.setResizable(resizable);
+ frame.setMaximizable(resizable);
+ frame.setIconifiable(resizable);
+ frame.setFrameIcon(null);
+
+ if (frame.getX() < 1 && frame.getY() < 1)
+ {
+ frame.setLocation(xOffset * openFrameCount,
+ yOffset * ( (openFrameCount - 1) % 10) + yOffset);
+ }
+
+ final JMenuItem menuItem = new JMenuItem(title);
+ frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter()
+ {
+ public void internalFrameActivated(javax.swing.event.
+ InternalFrameEvent evt)
+ {
+ JInternalFrame itf = desktop.getSelectedFrame();
+ if (itf != null)