Changeset 1286 in josm for trunk/src/org

Timestamp:

2009-01-17T22:41:20+01:00 (16 years ago)

Author:

stoecker

Message:

close #1984

Location:

trunk/src/org/openstreetmap/josm

Files:

• Main.java (modified) (3 diffs)
• actions/ExitAction.java (modified) (1 diff)
• gui/MainApplication.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/Main.java

@@ -420 +420 @@
 
         Dimension screenDimension = Toolkit.getDefaultToolkit().getScreenSize();
+        String geometry = Main.pref.get("gui.geometry");
         if (args.containsKey("geometry")) {
-            String geometry = args.get("geometry").iterator().next();
+            geometry = args.get("geometry").iterator().next();
+        }
+        if (geometry.length() != 0) {
             final Matcher m = Pattern.compile("(\\d+)x(\\d+)(([+-])(\\d+)([+-])(\\d+))?").matcher(geometry);
             if (m.matches()) {
@@ -436 +439 @@
                 }
                 bounds = new Rectangle(x,y,w,h);
+                if(!Main.pref.get("gui.geometry").equals(geometry)) {
+                    // remember this geometry
+                    Main.pref.put("gui.geometry", geometry);
+                }
             } else
                 System.out.println("Ignoring malformed geometry: "+geometry);
@@ -548 +555 @@
         return Locale.getDefault().getLanguage() + ":";
     }
+
+    static public void saveGuiGeometry() {
+        // if the gui.geometry preference is already set,
+        // save the current window geometry
+        String curGeometryPref = pref.get("gui.geometry");
+        if(curGeometryPref.length() != 0) {
+            Rectangle bounds = parent.getBounds();
+            pref.put("gui.geometry",
+                     (int)bounds.getWidth() +
+                     "x" + (int)bounds.getHeight() +
+                     "+" + (int)bounds.getX() +
+                     "+" + (int)bounds.getY());
+        }
+    }
 }

trunk/src/org/openstreetmap/josm/actions/ExitAction.java

@@ -25 +25 @@
 
     public void actionPerformed(ActionEvent e) {
-        if (!Main.breakBecauseUnsavedChanges())
+        if (!Main.breakBecauseUnsavedChanges()) {
+            Main.saveGuiGeometry();
             System.exit(0);
+        }
     }
 }

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -56 +56 @@
                 if (Main.breakBecauseUnsavedChanges())
                     return;
+                Main.saveGuiGeometry();
                 System.exit(0);
             }
@@ -215 +216 @@
         splash.closeSplash();
 
-        if (!args.containsKey("no-fullscreen") && !args.containsKey("geometry") && Toolkit.getDefaultToolkit().isFrameStateSupported(JFrame.MAXIMIZED_BOTH))
+        if (!args.containsKey("no-fullscreen") && !args.containsKey("geometry") && Main.pref.get("gui.geometry") == null && Toolkit.getDefaultToolkit().isFrameStateSupported(JFrame.MAXIMIZED_BOTH))
             mainFrame.setExtendedState(JFrame.MAXIMIZED_BOTH);