Changeset 5031 in josm for trunk/src/org
- Timestamp:
- 2012-02-29T16:59:01+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
r5030 r5031 667 667 PROP_BUTTON_HIDING.put(val); 668 668 buttonsHide.setIcon(ImageProvider.get("misc", val != ButtonHiddingType.ALWAYS_SHOWN ? "buttonhide" : "buttonshow")); 669 buttonsPanel.setVisible(val != ButtonHiddingType.ALWAYS_HIDDEN); 669 if (buttonsPanel != null) { 670 buttonsPanel.setVisible(val != ButtonHiddingType.ALWAYS_HIDDEN); 671 } 670 672 stateChanged(); 671 673 }
Note:
See TracChangeset
for help on using the changeset viewer.