Package | Description |
---|---|
org.openstreetmap.josm.gui |
Provides the classes for JOSM graphical user interface.
|
Modifier and Type | Field and Description |
---|---|
private DefaultProxySelector |
MainApplication.GuiFinalizationWorker.proxySelector |
Constructor and Description |
---|
GuiFinalizationWorker(java.util.Map<MainApplication.Option,java.util.Collection<java.lang.String>> args,
DefaultProxySelector proxySelector) |