Changeset 2185 in josm for trunk/src/org/openstreetmap/josm/Main.java
- Timestamp:
- 2009-09-23T11:14:18+02:00 (17 years ago)
- File:
-
- 1 edited
-
trunk/src/org/openstreetmap/josm/Main.java (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r2169 r2185 526 526 // save the current window geometry and the width of the toggle dialog area 527 527 String newGeometry = ""; 528 String newToggleDlgWidth = "";528 String newToggleDlgWidth = null; 529 529 try { 530 530 if (((JFrame)parent).getExtendedState() == JFrame.NORMAL) { … … 549 549 newGeometry = width + "x" + height + "+" + x + "+" + y; 550 550 } 551 552 newToggleDlgWidth = Integer.toString(map.getToggleDlgWidth()); 553 if (newToggleDlgWidth.equals(Integer.toString(map.DEF_TOGGLE_DLG_WIDTH))) { 554 newToggleDlgWidth = ""; 551 552 if (map != null) { 553 newToggleDlgWidth = Integer.toString(map.getToggleDlgWidth()); 554 if (newToggleDlgWidth.equals(Integer.toString(map.DEF_TOGGLE_DLG_WIDTH))) { 555 newToggleDlgWidth = ""; 556 } 555 557 } 556 558 } 557 559 catch (Exception e) { 558 560 System.out.println("Failed to save GUI geometry: " + e); 561 e.printStackTrace(); 559 562 } 560 563 pref.put("gui.geometry", newGeometry); 561 pref.put("toggleDialogs.width", newToggleDlgWidth); 564 if (newToggleDlgWidth != null) { 565 pref.put("toggleDialogs.width", newToggleDlgWidth); 566 } 562 567 } 563 568 }
Note:
See TracChangeset
for help on using the changeset viewer.
