Ticket #1984: save-geometry.diff

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

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

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

@@ -55 +55 @@
             @Override public void windowClosing(final WindowEvent arg0) {
                 if (Main.breakBecauseUnsavedChanges())
                     return;
+                Main.saveGuiGeometry();
                 System.exit(0);
             }
         });
@@ -213 +214 @@
         mainFrame.setVisible(true);
         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);
 
         EventQueue.invokeLater(new Runnable(){

src/org/openstreetmap/josm/Main.java

@@ -411 +411 @@
         UIManager.put("OptionPane.noIcon", UIManager.get("OptionPane.cancelIcon"));
 
         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()) {
                 int w = Integer.valueOf(m.group(1));
@@ -427 +430 @@
                         y = screenDimension.height - y - h;
                 }
                 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);
         }
@@ -539 +546 @@
     {
         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());
+        }
+    }
 }