Changeset 6743 in josm for trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialogManager.java

Timestamp:

2014-01-19T21:51:35+01:00 (10 years ago)

Author:

simon04

Message:

see #7326 - History dialog: move user id to toolbar, remember size/position

File:

• trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialogManager.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialogManager.java

@@ -16 +16 @@
 
 import org.openstreetmap.josm.Main;
-import org.openstreetmap.josm.data.osm.OsmPrimitive;
 import org.openstreetmap.josm.data.osm.PrimitiveId;
 import org.openstreetmap.josm.data.osm.history.History;
@@ -73 +72 @@
     }
 
+    final String WINDOW_GEOMETRY_PREF = getClass().getName() + ".geometry";
+
     public void placeOnScreen(HistoryBrowserDialog dialog) {
-        WindowGeometry geometry = WindowGeometry.centerOnScreen(new Dimension(800,500));
+        WindowGeometry geometry = new WindowGeometry(WINDOW_GEOMETRY_PREF, WindowGeometry.centerOnScreen(new Dimension(850, 500)));
         geometry.applySafe(dialog);
         Point p = dialog.getLocation();
         while(hasDialogWithCloseUpperLeftCorner(p)) {
-            p.x +=20;
+            p.x += 20;
             p.y += 20;
         }
@@ -94 +95 @@
         if (id > 0) {
             dialogs.remove(id);
+            if (dialogs.isEmpty()) {
+                new WindowGeometry(dialog).remember(WINDOW_GEOMETRY_PREF);
+            }
         }
         dialog.setVisible(false);