Changeset 12881 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java
- Timestamp:
- 2017-09-21T12:41:32+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java
r12280 r12881 30 30 31 31 import org.openstreetmap.josm.data.preferences.ColorProperty; 32 import org.openstreetmap.josm. data.preferences.ListListSetting;33 import org.openstreetmap.josm. data.preferences.ListSetting;34 import org.openstreetmap.josm. data.preferences.MapListSetting;35 import org.openstreetmap.josm. data.preferences.Setting;36 import org.openstreetmap.josm. data.preferences.StringSetting;32 import org.openstreetmap.josm.spi.preferences.ListListSetting; 33 import org.openstreetmap.josm.spi.preferences.ListSetting; 34 import org.openstreetmap.josm.spi.preferences.MapListSetting; 35 import org.openstreetmap.josm.spi.preferences.Setting; 36 import org.openstreetmap.josm.spi.preferences.StringSetting; 37 37 import org.openstreetmap.josm.gui.ExtendedDialog; 38 38 import org.openstreetmap.josm.gui.util.GuiHelper;
Note:
See TracChangeset
for help on using the changeset viewer.
