Field Detail

• PROP_DOCUMENT

  static final java.lang.String PROP_DOCUMENT

  This property is fired when the result of EditorCookie.getDocument() has changed. Typically it is after closing the editor.

  See Also:

  Constant Field Values

• PROP_MODIFIED

  static final java.lang.String PROP_MODIFIED

  This property is fired when modified state of the document has changed. See EditorCookie.isModified().

  See Also:

  Constant Field Values

• PROP_OPENED_PANES

  static final java.lang.String PROP_OPENED_PANES

  This property is fired when list of opened panes for the document has changed. See EditorCookie.getOpenedPanes().

  See Also:

  Constant Field Values

Method Detail

• addPropertyChangeListener

  void addPropertyChangeListener​(java.beans.PropertyChangeListener l)

  Add a PropertyChangeListener to the listener list.

  Parameters:

  l - the PropertyChangeListener to be added

• removePropertyChangeListener

  void removePropertyChangeListener​(java.beans.PropertyChangeListener l)

  Remove a PropertyChangeListener from the listener list.

  Parameters:

  l - the PropertyChangeListener to be removed