Package | Description |
---|---|
gate.creole | |
gate.gui.creole.manager |
Modifier and Type | Field and Description |
---|---|
protected Vector<Plugin.DownloadListener> |
Plugin.downloadListeners |
Modifier and Type | Method and Description |
---|---|
void |
Plugin.addDownloadListener(Plugin.DownloadListener listener) |
void |
Plugin.removeDownloadListener(Plugin.DownloadListener listener) |
Modifier and Type | Class and Description |
---|---|
class |
ProgressPanel |
Modifier and Type | Method and Description |
---|---|
protected Set<Plugin> |
AvailablePlugins.updateAvailablePlugins(Plugin.DownloadListener progressPanel) |
Copyright © 2023 GATE. All rights reserved.