public class PluginGUIManager
extends java.lang.Object
implements org.eclipse.swt.events.SelectionListener, org.eclipse.swt.events.ModifyListener
Constructor and Description |
---|
PluginGUIManager(ScenarioManager window)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
commit()
Commit changes done into file.
|
void |
createPanels(PluginDescription plugin,
java.io.InputStream guiFile)
Create panels from a gui XML file, and store it
|
void |
modifyText(org.eclipse.swt.events.ModifyEvent e) |
void |
setEditor(IsacEditor editor)
Set editor
|
void |
setParentComposite(org.eclipse.swt.widgets.Composite parent)
Method which will set the parent composite, we will create the parameters
panel into it
|
void |
switchPanel(org.w3c.dom.Element node)
Change the parameters panels
|
void |
widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent event) |
void |
widgetSelected(org.eclipse.swt.events.SelectionEvent event) |
public PluginGUIManager(ScenarioManager window)
window
- public void setParentComposite(org.eclipse.swt.widgets.Composite parent)
parent
- The parent compositepublic void switchPanel(org.w3c.dom.Element node)
node
- The node which the parameters must be showpublic void createPanels(PluginDescription plugin, java.io.InputStream guiFile)
plugin
- The plugin descriptionguiFile
- The gui file with all panels descriptionspublic void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent event)
widgetDefaultSelected
in interface org.eclipse.swt.events.SelectionListener
SelectionListener.widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent)
public void widgetSelected(org.eclipse.swt.events.SelectionEvent event)
widgetSelected
in interface org.eclipse.swt.events.SelectionListener
SelectionListener.widgetSelected(org.eclipse.swt.events.SelectionEvent)
public void commit()
public void setEditor(IsacEditor editor)
editor
- public void modifyText(org.eclipse.swt.events.ModifyEvent e)
modifyText
in interface org.eclipse.swt.events.ModifyListener