Changeset 6529 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreference.java

Timestamp:

2013-12-25T17:42:08+01:00 (10 years ago)

Author:

Don-vip

Message:

Various stuff:

• see #9414: remove old DeprecatedTags test
• refactor some classes in gui.preferences package
• improve javadoc

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreference.java

@@ -10 +10 @@
 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
-import org.openstreetmap.josm.gui.preferences.ServerAccessPreference;
 import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;