Ticket #7548: 7548-init.patch

File 7548-init.patch, 848 bytes (added by GerdP, 5 years ago)

  • src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

     
    469469    public PreferenceTabbedPane() {
    470470        super(JTabbedPane.LEFT, JTabbedPane.SCROLL_TAB_LAYOUT);
    471471        super.addMouseWheelListener(new WheelListener(this));
    472         super.getModel().addChangeListener(this);
    473472        ExpertToggleAction.addExpertModeChangeListener(this);
    474473    }
    475474
    … …  
    487486            }
    488487        }
    489488        addGUITabs(false);
     489        super.getModel().addChangeListener(this);
    490490    }
    491491
    492492    private void addGUITabsForSetting(Icon icon, TabPreferenceSetting tps) {