Changeset 4793 in josm for trunk/src


Ignore:
Timestamp:
2012-01-14T22:58:41+01:00 (8 years ago)
Author:
stoecker
Message:

don't hide buttons for undocked dialogs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

    r4778 r4793  
    579579
    580580    protected void setIsDocked(boolean val) {
     581        if(buttonsPanel != null) {
     582            buttonsPanel.setVisible(val ? !isButtonHiding : true);
     583        }
    581584        isDocked = val;
    582585        Main.pref.put(preferencePrefix+".docked", val);
     
    689692            if(Main.pref.getBoolean("dialog.dynamic.buttons", true)) {
    690693                Toolkit.getDefaultToolkit().addAWTEventListener(this, AWTEvent.MOUSE_MOTION_EVENT_MASK);
    691                 buttonsPanel.setVisible(!isButtonHiding);
     694                buttonsPanel.setVisible(!isButtonHiding || !isDocked);
    692695            }
    693696        } else if(buttonsHide != null) {
     
    699702    @Override
    700703    public void eventDispatched(AWTEvent event) {
    701         if(isShowing() && !isCollapsed && isButtonHiding) {
     704        if(isShowing() && !isCollapsed && isDocked && isButtonHiding) {
    702705            Rectangle b = this.getBounds();
    703706            b.setLocation(getLocationOnScreen());
Note: See TracChangeset for help on using the changeset viewer.