Changeset 2317 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java
- Timestamp:
- 2009-10-25T15:13:08+01:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java
r2269 r2317 271 271 if (numPanels == 1 && panels.get(N-1).getComponents().length == 0) 272 272 { 273 parent.setDividerSize(0); 273 274 this.setVisible(false); 274 275 } else { … … 277 278 } 278 279 this.setVisible(true); 280 parent.setDividerSize(5); 279 281 parent.resetToPreferredSizes(); 280 282 }
Note:
See TracChangeset
for help on using the changeset viewer.