+ /** DOCUMENT ME!! */\r
+ public static Desktop instance;\r
+ public static JDesktopPane desktop;\r
+ static int openFrameCount = 0;\r
+ static final int xOffset = 30;\r
+ static final int yOffset = 30;\r
+ public static jalview.ws.Discoverer discoverer;\r
+\r
+ public static Object [] jalviewClipboard;\r
+\r
+ static int fileLoadingCount= 0;\r
+\r
+ /**\r
+ * Creates a new Desktop object.\r
+ */\r
+ public Desktop()\r
+ {\r
+ instance = this;\r
+\r
+ Image image = null;\r
+\r
+ try\r
+ {\r
+ java.net.URL url = getClass().getResource("/images/logo.gif");\r
+\r
+ if (url != null)\r
+ {\r
+ image = java.awt.Toolkit.getDefaultToolkit().createImage(url);\r
+\r
+ MediaTracker mt = new MediaTracker(this);\r
+ mt.addImage(image, 0);\r
+ mt.waitForID(0);\r
+ setIconImage(image);\r
+ }\r
+ }\r
+ catch (Exception ex)\r
+ {\r
+ }\r
+\r
+ setTitle("Jalview "+jalview.bin.Cache.getProperty("VERSION"));\r
+ setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);\r
+ desktop = new JDesktopPane();\r
+ desktop.setBackground(Color.white);\r
+ getContentPane().setLayout(new BorderLayout());\r
+ getContentPane().add(desktop, BorderLayout.CENTER);\r
+ desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);\r
+\r
+ // This line prevents Windows Look&Feel resizing all new windows to maximum\r
+ // if previous window was maximised\r
+ desktop.setDesktopManager(new DefaultDesktopManager());\r
+\r
+ Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();\r
+ String x = jalview.bin.Cache.getProperty("SCREEN_X");\r
+ String y = jalview.bin.Cache.getProperty("SCREEN_Y");\r
+ String width = jalview.bin.Cache.getProperty("SCREEN_WIDTH");\r
+ String height = jalview.bin.Cache.getProperty("SCREEN_HEIGHT");\r
+\r
+ if ((x != null) && (y != null) && (width != null) && (height != null))\r
+ {\r
+ setBounds(Integer.parseInt(x), Integer.parseInt(y),\r
+ Integer.parseInt(width), Integer.parseInt(height));\r
+ }\r
+ else\r
+ {\r
+ setBounds((int) (screenSize.width - 900) / 2,\r
+ (int) (screenSize.height - 650) / 2, 900, 650);\r
+ }\r
+\r
+ this.addWindowListener(new WindowAdapter()\r
+ {\r
+ public void windowClosing(WindowEvent evt)\r
+ {\r
+ quit();\r
+ }\r
+ });\r
+\r
+ this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));\r
+\r
+ /////////Add a splashscreen on startup\r
+ /////////Add a splashscreen on startup\r
+ JInternalFrame frame = new JInternalFrame();\r
+\r
+ SplashScreen splash = new SplashScreen(frame, image);\r
+ frame.setContentPane(splash);\r
+ frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
+ frame.setLocation((int) ((getWidth() - 750) / 2),\r
+ (int) ((getHeight() - 160) / 2));\r
+\r
+ addInternalFrame(frame, "", 750, 160, false);\r
+\r
+ discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed.\r
+\r
+ }\r
+\r
+ /**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @param frame DOCUMENT ME!\r
+ * @param title DOCUMENT ME!\r
+ * @param w DOCUMENT ME!\r
+ * @param h DOCUMENT ME!\r
+ */\r
+ public static synchronized void addInternalFrame(final JInternalFrame frame,\r
+ String title, int w, int h)\r
+ {\r
+ addInternalFrame(frame, title, w, h, true);\r
+ }\r
+\r
+ /**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @param frame DOCUMENT ME!\r
+ * @param title DOCUMENT ME!\r
+ * @param w DOCUMENT ME!\r
+ * @param h DOCUMENT ME!\r
+ * @param resizable DOCUMENT ME!\r
+ */\r
+ public static synchronized void addInternalFrame(final JInternalFrame frame,\r
+ String title, int w, int h, boolean resizable)\r
+ {\r
+\r
+ frame.setTitle(title);\r
+ if(frame.getWidth()<1 || frame.getHeight()<1)\r