EditorCookie, LineCookie, org.openide.nodes.Node.Cookiepublic static interface EditorCookie.Observable extends EditorCookie
EditorCookie.Observable| Modifier and Type | Field | 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.
|
| Modifier and Type | Method | 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, saveDocumentgetLineSetstatic 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().void addPropertyChangeListener(PropertyChangeListener l)
l - the PropertyChangeListener to be addedvoid removePropertyChangeListener(PropertyChangeListener l)
l - the PropertyChangeListener to be removedBuilt on April 24 2018. | Portions Copyright 1997-2018 Oracle. All rights reserved.