private IDocument parentDocument;
private boolean changed = true;
public TransformedDocument(IDocument parentDocument) {
this.parentDocument = parentDocument;
parentDocument.addDocumentListener(new IDocumentListener() {
public void documentAboutToBeChanged(DocumentEvent event) {
// Do nothing
}
public void documentChanged(DocumentEvent event) {
changed = true;