Changeset 4793 in josm

Timestamp:

2012-01-14T22:58:41+01:00 (12 years ago)

Author:

stoecker

Message:

don't hide buttons for undocked dialogs

File:

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

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

@@ -579 +579 @@
 
     protected void setIsDocked(boolean val) {
+        if(buttonsPanel != null) {
+            buttonsPanel.setVisible(val ? !isButtonHiding : true);
+        }
         isDocked = val;
         Main.pref.put(preferencePrefix+".docked", val);
@@ -689 +692 @@
             if(Main.pref.getBoolean("dialog.dynamic.buttons", true)) {
                 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK);
-                buttonsPanel.setVisible(!isButtonHiding);
+                buttonsPanel.setVisible(!isButtonHiding || !isDocked);
             }
         } else if(buttonsHide != null) {
@@ -699 +702 @@
     @Override
     public void eventDispatched(AWTEvent event) {
-        if(isShowing() && !isCollapsed && isButtonHiding) {
+        if(isShowing() && !isCollapsed && isDocked && isButtonHiding) {
             Rectangle b = this.getBounds();
             b.setLocation(getLocationOnScreen());