| 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,
java.util.Set<PluginInformation> toDownload) |