|
org.openide.text 6.9.32 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface EditorCookie.Observable
The interface extends EditorCookie and allows observing changes in state of the text document.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface org.openide.cookies.EditorCookie |
---|
EditorCookie.Observable |
Field Summary | |
---|---|
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. |
Method Summary | |
---|---|
void |
addPropertyChangeListener(PropertyChangeListener l)
Add a PropertyChangeListener to the listener list. |
void |
removePropertyChangeListener(PropertyChangeListener l)
Remove a PropertyChangeListener from the listener list. |
Methods inherited from interface org.openide.cookies.EditorCookie |
---|
close, getDocument, getOpenedPanes, isModified, open, openDocument, prepareDocument, saveDocument |
Methods inherited from interface org.openide.cookies.LineCookie |
---|
getLineSet |
Field Detail |
---|
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()
.
Method Detail |
---|
void addPropertyChangeListener(PropertyChangeListener l)
l
- the PropertyChangeListener to be addedvoid removePropertyChangeListener(PropertyChangeListener l)
l
- the PropertyChangeListener to be removed
|
org.openide.text 6.9.32 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |