Changeset 4778 in josm for trunk/src/org
- Timestamp:
- 2012-01-09T10:31:34+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java
r4765 r4778 689 689 if(Main.pref.getBoolean("dialog.dynamic.buttons", true)) { 690 690 Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK); 691 buttonsPanel.setVisible( false);691 buttonsPanel.setVisible(!isButtonHiding); 692 692 } 693 693 } else if(buttonsHide != null) {
Note:
See TracChangeset
for help on using the changeset viewer.