Package | Description |
---|---|
org.openstreetmap.josm.gui.preferences |
Provides generic classes for handling JOSM preferences.
|
Modifier and Type | Field and Description |
---|---|
private PluginPreference |
PreferenceTabbedPane.PluginDownloadAfterTask.preference |
Modifier and Type | Method and Description |
---|---|
PluginPreference |
PreferenceTabbedPane.getPluginPreference()
Returns the
PluginPreference object. |
Constructor and Description |
---|
PluginDownloadAfterTask(PluginPreference preference,
PluginDownloadTask task,
Set<PluginInformation> toDownload) |