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