Changeset 4794 in josm

Timestamp:

Jan 15, 2012 11:46:32 AM (17 months ago)

Author:

stoecker

Message:

fix #7267 - side menu buttons missing

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java (modified) (1 diff)

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

@@ -579 +579 @@
 
     protected void setIsDocked(boolean val) {
-        if(buttonsPanel != null) {
+        if(buttonsPanel != null && buttonsHide != null) {
             buttonsPanel.setVisible(val ? !isButtonHiding : true);
         }