Changeset 4793 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2012-01-14T22:58:41+01:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
r4778 r4793 579 579 580 580 protected void setIsDocked(boolean val) { 581 if(buttonsPanel != null) { 582 buttonsPanel.setVisible(val ? !isButtonHiding : true); 583 } 581 584 isDocked = val; 582 585 Main.pref.put(preferencePrefix+".docked", val); … … 689 692 if(Main.pref.getBoolean("dialog.dynamic.buttons", true)) { 690 693 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK); 691 buttonsPanel.setVisible(!isButtonHiding );694 buttonsPanel.setVisible(!isButtonHiding || !isDocked); 692 695 } 693 696 } else if(buttonsHide != null) { … … 699 702 @Override 700 703 public void eventDispatched(AWTEvent event) { 701 if(isShowing() && !isCollapsed && is ButtonHiding) {704 if(isShowing() && !isCollapsed && isDocked && isButtonHiding) { 702 705 Rectangle b = this.getBounds(); 703 706 b.setLocation(getLocationOnScreen());
Note:
See TracChangeset
for help on using the changeset viewer.