Changeset 5689 in josm
- Timestamp:
- 2013-01-29T01:50:15+01:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
r5631 r5689 376 376 Component comps[] = getComponents(); 377 377 for(int i=0; i<comps.length; i++) { 378 if (comps[i] != titleBar) {378 if (comps[i] != titleBar && (!visible || comps[i] != buttonsPanel || buttonHiding != ButtonHiddingType.ALWAYS_HIDDEN)) { 379 379 comps[i].setVisible(visible); 380 380 } … … 853 853 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK); 854 854 buttonsPanel.setVisible(buttonHiding == ButtonHiddingType.ALWAYS_SHOWN || !isDocked); 855 } else if (buttonHiding == ButtonHiddingType.ALWAYS_HIDDEN) { 856 buttonsPanel.setVisible(false); 855 857 } 856 858 } else if (buttonsHide != null) {
Note:
See TracChangeset
for help on using the changeset viewer.