From 5bb2f3d37e51bda1608f0bf21795531e3aeb6aba Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 15 Mar 2005 17:10:46 +0000
Subject: [PATCH] Saves screen size on exit

---
 src/jalview/gui/Desktop.java |   40 ++++++++++++++++++++++++++++++----------
 1 file changed, 30 insertions(+), 10 deletions(-)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 3b13016..bfbdc1d 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -49,16 +49,36 @@ public class Desktop extends jalview.jbgui.GDesktop
     desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
 
     Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
-    int width = 900, height = 650;
-    if(screenSize.getWidth()<width)
-      width = screenSize.width;
-    if(screenSize.getHeight()<height)
-      height = screenSize.height;
-
-    setBounds( (int)(screenSize.width-width)/2,
-               (int)(screenSize.height-height)/2,
-              width ,
-              height);
+    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)
+{
+ 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() + "");
+}
+});
+
+/////////Add a splashscreen on startup
 
 
    /////////Add a splashscreen on startup
-- 
1.7.10.2