Changeset 4794 in josm for trunk/src/org/openstreetmap

Timestamp:

2012-01-15T11:46:32+01:00 (12 years 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);
         }