public interface JScriptingComposer extends Component
JScriptingComposer
provides services to the management and
edition of the ScriptingUnit
s of the ScriptingFramework.JScriptingLauncher
Modifier and Type | Interface and Description |
---|---|
static interface |
JScriptingComposer.Dock |
static interface |
JScriptingComposer.Problems |
static interface |
JScriptingComposer.StatusBar |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DOCKED_CONSOLE |
static java.lang.String |
DOCKED_PROBLEMS |
static java.lang.String |
DOCKED_PROJECTS |
Modifier and Type | Method and Description |
---|---|
void |
addChangeEditorListener(javax.swing.event.ChangeListener listener) |
javax.swing.JPanel |
getAboutUsDialog() |
JScriptingConsole |
getConsole() |
JEditor |
getCurrentEditor() |
ScriptingScript |
getCurrentScript() |
JScriptingComposer.Dock |
getDock() |
JScriptingComposer.Problems |
getProblems() |
JScriptingLauncher |
getProjects() |
JScriptingComposer.StatusBar |
getStatusbar() |
WindowManager |
getWindowManager() |
void |
refreshProjects() |
void |
removeChangeEditorListener(javax.swing.event.ChangeListener listener) |
void |
setWindowManager(WindowManager windowsManager) |
asJComponent
static final java.lang.String DOCKED_PROBLEMS
static final java.lang.String DOCKED_CONSOLE
static final java.lang.String DOCKED_PROJECTS
javax.swing.JPanel getAboutUsDialog()
void setWindowManager(WindowManager windowsManager)
WindowManager getWindowManager()
JEditor getCurrentEditor()
ScriptingScript getCurrentScript()
JScriptingComposer.Dock getDock()
JScriptingComposer.Problems getProblems()
JScriptingConsole getConsole()
JScriptingLauncher getProjects()
JScriptingComposer.StatusBar getStatusbar()
void addChangeEditorListener(javax.swing.event.ChangeListener listener)
void removeChangeEditorListener(javax.swing.event.ChangeListener listener)
void refreshProjects()