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

Timestamp:

2012-02-09T14:08:26+01:00 (12 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:

• 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);
     }