Package | Description |
---|---|
org.openstreetmap.josm.gui.preferences | |
org.openstreetmap.josm.gui.preferences.plugin |
Modifier and Type | Field and Description |
---|---|
private PluginPreferencesModel |
PluginPreference.model |
Modifier and Type | Field and Description |
---|---|
private PluginPreferencesModel |
PluginListPanel.model |
Constructor and Description |
---|
PluginListPanel(PluginPreferencesModel model) |