Package | Description |
---|---|
org.openstreetmap.josm.data | |
org.openstreetmap.josm.gui.preferences.advanced |
Provides classes for handling advanced preferences.
|
Modifier and Type | Method and Description |
---|---|
Preferences.ListSetting |
Preferences.ListSetting.copy() |
static Preferences.ListSetting |
Preferences.ListSetting.create(java.util.Collection<java.lang.String> value)
Convenience factory method.
|
Preferences.ListSetting |
Preferences.ListSetting.getNullInstance() |
Modifier and Type | Method and Description |
---|---|
void |
Preferences.SettingVisitor.visit(Preferences.ListSetting value) |
void |
Preferences.SettingToXml.visit(Preferences.ListSetting setting) |
Constructor and Description |
---|
ListEditor(javax.swing.JComponent gui,
PrefEntry entry,
Preferences.ListSetting setting)
Constructs a new
ListEditor . |