- setBounds( (int)(screenSize.getWidth()-1200)/2,\r
- (int)(screenSize.getHeight()-800)/2,\r
- 1200 ,\r
- 800);\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
+ setBounds( (int)(screenSize.width-900)/2,\r
+ (int)(screenSize.height-650)/2,\r
+ 900 ,\r
+ 650);\r
+\r
+this.addWindowListener(new WindowAdapter()\r
+{\r
+public void windowClosing(WindowEvent evt)\r
+{\r
+ jalview.bin.Cache.setProperty("SCREEN_X",\r
+ getBounds().x + "");\r
+ jalview.bin.Cache.setProperty("SCREEN_Y",\r
+ getBounds().y + "");\r
+ jalview.bin.Cache.setProperty("SCREEN_WIDTH", getWidth() + "");\r
+ jalview.bin.Cache.setProperty("SCREEN_HEIGHT", getHeight() + "");\r
+}\r
+});\r
+setVisible(true);\r
+\r
+this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));\r