Changeset 4989 in josm
- Timestamp:
- 2012-02-19T01:30:16+01:00 (13 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/preferences
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceSetting.java
r4968 r4989 2 2 package org.openstreetmap.josm.gui.preferences; 3 3 4 /** 5 * Base interface of Preferences settings, should not be directly implemented, 6 * see {@link TabPreferenceSetting} and {@link SubPreferenceSetting}. 7 */ 4 8 public interface PreferenceSetting { 5 9 /** -
trunk/src/org/openstreetmap/josm/gui/preferences/TabPreferenceSetting.java
r4968 r4989 2 2 package org.openstreetmap.josm.gui.preferences; 3 3 4 /** 5 * Preference settings, that display a top level tab. 6 * 7 * This preference setting's addGui method is called after the user clicked the tab. 8 */ 4 9 public interface TabPreferenceSetting extends PreferenceSetting { 5 10
Note:
See TracChangeset
for help on using the changeset viewer.