Changeset 6021 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/StringEditor.java

Timestamp:

2013-06-25T11:37:01+02:00 (11 years ago)

Author:

akks

Message:

fix #8483: option to reset preferences (Advanced preferences - More - Reset preferences)
+ big refactoring of advanced preferences editor (extracted PreferencesTable class with all table-related logic)

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/StringEditor.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/StringEditor.java

@@ -5 +5 @@
 
 import java.awt.GridBagLayout;
+import javax.swing.JComponent;
 
 import javax.swing.JLabel;
@@ -11 +12 @@
 import org.openstreetmap.josm.data.Preferences.StringSetting;
 import org.openstreetmap.josm.gui.ExtendedDialog;
-import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
-import org.openstreetmap.josm.gui.preferences.advanced.AdvancedPreference.PrefEntry;
 import org.openstreetmap.josm.gui.widgets.JosmTextField;
 import org.openstreetmap.josm.tools.GBC;
@@ -21 +20 @@
     JosmTextField tvalue;
 
-    public StringEditor(final PreferenceTabbedPane gui, PrefEntry entry, StringSetting setting) {
+    public StringEditor(final JComponent gui, PrefEntry entry, StringSetting setting) {
         super(gui, tr("Change string setting"), new String[] {tr("OK"), tr("Cancel")});
         this.entry = entry;