public static interface EditorCookie.Observable extends EditorCookie
EditorCookie.Observable
Modifier and Type | Field and Description |
---|---|
static String |
PROP_DOCUMENT
This property is fired when the result of
EditorCookie.getDocument()
has changed. |
static String |
PROP_MODIFIED
This property is fired when modified state of the document
has changed.
|
static String |
PROP_OPENED_PANES
This property is fired when list of opened panes for the document
has changed.
|
static String |
PROP_RELOADING
This property is fired on the EDT when the reloading state of the
document has changed; reloading is due to an external file change.
|
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(PropertyChangeListener l)
Add a PropertyChangeListener to the listener list.
|
void |
removePropertyChangeListener(PropertyChangeListener l)
Remove a PropertyChangeListener from the listener list.
|
close, getDocument, getOpenedPanes, isModified, open, openDocument, prepareDocument, saveDocument
getLineSet
static final String PROP_DOCUMENT
EditorCookie.getDocument()
has changed. Typically it is after closing the editor.static final String PROP_MODIFIED
EditorCookie.isModified()
.static final String PROP_OPENED_PANES
EditorCookie.getOpenedPanes()
.static final String PROP_RELOADING
void addPropertyChangeListener(PropertyChangeListener l)
l
- the PropertyChangeListener to be addedvoid removePropertyChangeListener(PropertyChangeListener l)
l
- the PropertyChangeListener to be removed