public interface PluginsEDTSupport
PluginsManager.initAfterGUI(org.mdi.bootstrap.MDIApplication)
method.Modifier and Type | Method and Description |
---|---|
short |
getMDIPluginsInitMode()
Return the initialization mode of the
MDIPlugin s. |
void |
initializeUI(java.util.List<Plugin> pluginsVector)
Initialize the UI of the Plugin vector, taking care of doing the initialization in the EDT or the Platform Thread.
|
void |
setMDIPluginsInitMode(short mdiPluginsInitMode)
Set the initialization mode of the
MDIPlugin s. |
void setMDIPluginsInitMode(short mdiPluginsInitMode)
MDIPlugin
s.mdiPluginsInitMode
- the initialization modeMDIPluginsInitMode
short getMDIPluginsInitMode()
MDIPlugin
s.MDIPluginsInitMode
void initializeUI(java.util.List<Plugin> pluginsVector)
pluginsVector
- the plugins vector