Changeset 5689 in josm for trunk

Timestamp:

2013-01-29T01:50:15+01:00 (12 years ago)

Author:

Don-vip

Message:

fix #8143 - Side buttons reappear despite "Always hidden" option

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

@@ -376 +376 @@
         Component comps[] = getComponents();
         for(int i=0; i<comps.length; i++) {
-            if(comps[i] != titleBar) {
+            if (comps[i] != titleBar && (!visible || comps[i] != buttonsPanel || buttonHiding != ButtonHiddingType.ALWAYS_HIDDEN)) {
                 comps[i].setVisible(visible);
             }
@@ -853 +853 @@
                 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK);
                 buttonsPanel.setVisible(buttonHiding == ButtonHiddingType.ALWAYS_SHOWN || !isDocked);
+            } else if (buttonHiding == ButtonHiddingType.ALWAYS_HIDDEN) {
+                buttonsPanel.setVisible(false);
             }
         } else if (buttonsHide != null) {