Changeset 4913 in josm

Timestamp:

Feb 9, 2012 2:08:26 PM (16 months 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:

• trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java

@@ -27 +27 @@
 import javax.swing.KeyStroke;
 
-import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.actions.ExpertToggleAction;
 import org.openstreetmap.josm.gui.SideButton;
@@ -118 +117 @@
     }
 
-    void selectPreferencesTabByName(String name) {
+    public void selectPreferencesTabByName(String name) {
         tpPreferences.selectTabByName(name);
     }