Methods in
org.eclipse.gmf.runtime.diagram.ui.resources.editor.document with parameters of type
DocumentEvent
|
void
|
IDocumentListener.
documentAboutToBeChanged
(
DocumentEvent event)
The manipulation described by the document event will be performed. |
void
|
AbstractDocumentProvider.ElementInfo.
documentAboutToBeChanged
(
DocumentEvent event)
|
void
|
IDocumentListener.
documentChanged
(
DocumentEvent event)
The manipulation described by the document event has been performed. |
void
|
AbstractDocumentProvider.ElementInfo.
documentChanged
(
DocumentEvent event)
|
protected void
|
AbstractDocument.
doFireDocumentChanged
(
DocumentEvent event)
Notifies all listeners about the given document change. |
protected void
|
AbstractDocument.
fireDocumentAboutToBeChanged
(
DocumentEvent event)
Fires the given document event to all registers document listeners informing them
about the forthcoming document manipulation. |
protected void
|
AbstractDocument.
fireDocumentChanged
(
DocumentEvent event)
Updates the internal document structures and informs all document listeners
if listener notification has been enabled. |