public class XtextDocumentEvent
extends org.eclipse.jface.text.DocumentEvent
Constructor and Description |
---|
XtextDocumentEvent(org.eclipse.jface.text.DocumentEvent original,
org.eclipse.jface.text.Region damagedRegion) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.jface.text.Region |
getDamagedRegion() |
org.eclipse.jface.text.DocumentEvent |
getOriginalDocumentEvent() |