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


Ignore:
Timestamp:
2012-02-09T14:08:26+01:00 (8 years ago)
Author:
framm
Message:

make tab pre-selection public so that plugins can pop up the preference editor with their own tab pre-selected.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java

    r4843 r4913  
    2727import javax.swing.KeyStroke;
    2828
    29 import org.openstreetmap.josm.Main;
    3029import org.openstreetmap.josm.actions.ExpertToggleAction;
    3130import org.openstreetmap.josm.gui.SideButton;
     
    118117    }
    119118
    120     void selectPreferencesTabByName(String name) {
     119    public void selectPreferencesTabByName(String name) {
    121120        tpPreferences.selectTabByName(name);
    122121    }
Note: See TracChangeset for help on using the changeset viewer.