Package | Description |
---|---|
org.jeditor.gui |
The presentation package for managing scripts presentation and modification.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<EditorStateListener> |
JEditor.getEditorStateListeners()
Return the list of state listeners.
|
Modifier and Type | Method and Description |
---|---|
void |
JEditor.addEditorStateListener(EditorStateListener listener)
Add a state listener.
|
void |
JEditor.removeEditorStateListener(EditorStateListener listener)
Remove a state listener.
|
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence