Changeset 6767 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
- Timestamp:
- 2014-01-29T16:18:16+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
r6578 r6767 48 48 import org.openstreetmap.josm.tools.GBC; 49 49 50 /** 51 * Advanced preferences, allowing to set preference entries directly. 52 */ 50 53 public final class AdvancedPreference extends DefaultTabPreferenceSetting { 51 54
Note:
See TracChangeset
for help on using the changeset viewer.