Changeset 2017 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java
- Timestamp:
- 30.08.2009 19:07:24 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java
r1971 r2017 15 15 import javax.swing.JScrollPane; 16 16 17 import org.openstreetmap.josm.Main; 17 18 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles; 18 import org.openstreetmap.josm.Main;19 19 import org.openstreetmap.josm.tools.GBC; 20 20
Note: See TracChangeset
for help on using the changeset viewer.
