public void documentChanged(DocumentEvent event) { if (element.fCanBeSaved && modificationStamp == event.getModificationStamp()) { element.fCanBeSaved = false; fireElementDirtyStateChanged(element.fElement, element.fCanBeSaved); } else if (!element.fCanBeSaved) { element.fCanBeSaved = true; fireElementDirtyStateChanged(element.fElement, element.fCanBeSaved); } }
@Override public void documentChanged(DocumentEvent event) { if (fCanBeSaved && fSynchronizationStamp == event.getModificationStamp()) { fCanBeSaved= false; fManager.fireDirtyStateChanged(ResourceTextFileBuffer.this, fCanBeSaved); } else if (!fCanBeSaved) { fCanBeSaved= true; fManager.fireDirtyStateChanged(ResourceTextFileBuffer.this, fCanBeSaved); } } }
public void documentChanged(DocumentEvent event) { if (fCanBeSaved && fSynchronizationStamp == event.getModificationStamp()) { fCanBeSaved= false; fManager.fireDirtyStateChanged(ResourceTextFileBuffer.this, fCanBeSaved); } else if (!fCanBeSaved) { fCanBeSaved= true; fManager.fireDirtyStateChanged(ResourceTextFileBuffer.this, fCanBeSaved); } } }
@Override public void documentAboutToBeChanged(DocumentEvent event) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
@Override public void documentAboutToBeChanged(DocumentEvent event) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
@Override public void documentAboutToBeChanged(DocumentEvent event) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
@Override public void documentAboutToBeChanged(DocumentEvent event) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
/** * Not thread safe. Guard access with a transaction on the resource. * * @since 2.4 */ private ReconcilerReplaceRegion getMergedReplaceRegion(XtextResource resource) { List<DocumentEvent> events = newArrayListWithExpectedSize(pendingChanges.size()); pendingChanges.drainTo(events); if (events.isEmpty()) return null; IParseResult parseResult = resource.getParseResult(); String resourceText = (parseResult != null) ? parseResult.getRootNode().getText() : ""; ReconcilerReplaceRegion.Builder builder = ReconcilerReplaceRegion.builder(resourceText); for (DocumentEvent event : events) { builder.add(event.getOffset(), event.getLength(), event.getText()); } ReconcilerReplaceRegion mergedRegion = builder.create(); mergedRegion.setModificationStamp(events.get(events.size()-1).getModificationStamp()); return mergedRegion; }
@Override public void documentChanged(DocumentEvent event) { fPreservedRedoModificationStamp= event.getModificationStamp(); // record the current valid state for the top operation in case it remains the // top operation but changes state. IUndoableOperation op= fHistory.getUndoOperation(fUndoContext); boolean wasValid= false; if (op != null) wasValid= op.canUndo(); // Process the change, providing the before and after timestamps processChange(event.getOffset(), event.getOffset() + event.getLength(), event.getText(), fReplacedText, fPreservedUndoModificationStamp, fPreservedRedoModificationStamp); // now update fCurrent with the latest buffers from the document change. fCurrent.pretendCommit(); if (op == fCurrent) { // if the document change did not cause a new fCurrent to be created, then we should // notify the history that the current operation changed if its validity has changed. if (wasValid != fCurrent.isValid()) fHistory.operationChanged(op); } else { // if the change created a new fCurrent that we did not yet add to the // stack, do so if it's valid and we are not in the middle of a compound change. if (fCurrent != fLastAddedCommand && fCurrent.isValid()) { addToCommandStack(fCurrent); } } } }
@Override public void documentChanged(DocumentEvent event) { fPreservedRedoModificationStamp= event.getModificationStamp(); // record the current valid state for the top operation in case it remains the // top operation but changes state. IUndoableOperation op= fHistory.getUndoOperation(fUndoContext); boolean wasValid= false; if (op != null) wasValid= op.canUndo(); // Process the change, providing the before and after timestamps processChange(event.getOffset(), event.getOffset() + event.getLength(), event.getText(), fReplacedText, fPreservedUndoModificationStamp, fPreservedRedoModificationStamp); // now update fCurrent with the latest buffers from the document change. fCurrent.pretendCommit(); if (op == fCurrent) { // if the document change did not cause a new fCurrent to be created, then we should // notify the history that the current operation changed if its validity has changed. if (wasValid != fCurrent.isValid()) fHistory.operationChanged(op); } else { // if the change created a new fCurrent that we did not yet add to the // stack, do so if it's valid and we are not in the middle of a compound change. if (fCurrent != fLastAddedCommand && fCurrent.isValid()) { addToCommandStack(fCurrent); } } } }
@Override public void documentChanged(DocumentEvent event) { fPreservedRedoModificationStamp= event.getModificationStamp();
@Override public void documentChanged(DocumentEvent event) { fPreservedRedoModificationStamp= event.getModificationStamp();