@Override public void update(DocumentEvent event) { removeAffectedPositions(event.getDocument()); } }
@Override public void documentAboutToBeChanged(DocumentEvent e) { Assert.isTrue(e.getDocument() == fDocument); fPreviousDocumentLength= e.getDocument().getLength(); fStartOffset= -1; fEndOffset= -1; fDeleteOffset= -1; }
@Override public void documentChanged(DocumentEvent e) { if (fCachedRedrawState) { try { e.getDocument().removePosition(fPositionCategory, fRememberedPosition); } catch (BadPositionCategoryException x) { // can not happen on input documents } } fDocumentChanging= false; }
@Override public void update(DocumentEvent event) { updateAffectedPositions(event.getDocument(), fPositions, fOffset); } }
@Override public void textChanged(TextEvent event) { if (event .getDocumentEvent() != null) doSourceChanged(event.getDocumentEvent().getDocument()); } });
@Override public void documentAboutToBeChanged(DocumentEvent e) { if (e.getDocument() == getVisibleDocument()) fWidgetCommand.setEvent(e); handleVisibleDocumentAboutToBeChanged(e); }
/** * Returns whether this position includes <code>event</code>. * * @param event the event to check. * @return <code>true</code> if this position includes <code>event</code>, * <code>false</code> otherwise */ public boolean includes(DocumentEvent event) { return includes(event.getDocument(), event.getOffset(), event.getLength()); }
public void textChanged(TextEvent event) { if (event .getDocumentEvent() != null) doSourceChanged(event.getDocumentEvent().getDocument()); } });
@Override public void textChanged(TextEvent event) { if (event .getDocumentEvent() != null) doSourceChanged(event.getDocumentEvent().getDocument()); } });
public void documentAboutToBeChanged(DocumentEvent e) { if (e.getDocument() == getVisibleDocument()) fWidgetCommand.setEvent(e); handleVisibleDocumentAboutToBeChanged(e); }
@Override public void documentAboutToBeChanged(DocumentEvent event) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
@Override protected void handleVisibleDocumentAboutToBeChanged(DocumentEvent event) { if (fHandleProjectionChanges && event instanceof ProjectionDocumentEvent && isProjectionMode()) { int deletedLines; try { deletedLines= event.getDocument().getNumberOfLines(event.getOffset(), event.getLength()); } catch (BadLocationException e1) { deletedLines= 0; } fDeletedLines= deletedLines; } }
@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) { if (fActiveRegion != null) { fRememberedPosition= new Position(fActiveRegion.getOffset(), fActiveRegion.getLength()); try { event.getDocument().addPosition(fRememberedPosition); } catch (BadLocationException x) { fRememberedPosition= null; } } }
@Override protected void handleVisibleDocumentAboutToBeChanged(DocumentEvent event) { if (fHandleProjectionChanges && event instanceof ProjectionDocumentEvent && isProjectionMode()) { int deletedLines; try { deletedLines= event.getDocument().getNumberOfLines(event.getOffset(), event.getLength()); } catch (BadLocationException e1) { deletedLines= 0; } fDeletedLines= deletedLines; } }
public void documentChanged(DocumentEvent event) { // register a post notification replace so that projection // annotation model will be updated after all documentChanged // listeners have been notified IDocument document = event.getDocument(); if ((document instanceof IDocumentExtension) && (fInfo.getDocument() == document)) { if (fInfo.hasChangesQueued()) { ((IDocumentExtension) document).registerPostNotificationReplace(this, new PostDocumentChangedListener(fInfo)); } } } }
public void documentChanged(DocumentEvent event) { try { fRefactoring.setBody(event.getDocument().get(), fRefactoring.getMethod().getParameterNames()); } catch (JavaModelException ex) { // TODO Auto-generated catch block JavaPlugin.log(ex); } } });
private void documentChanged(DocumentEvent e, boolean dirty) { IDocument doc= e.getDocument(); if (doc == fLeft.getDocument()) { setLeftDirty(dirty); } else if (doc == fRight.getDocument()) { setRightDirty(dirty); } updateLines(doc); }
@Override public void documentChanged(DocumentEvent event) { try { fRefactoring.setBody(event.getDocument().get(), fRefactoring.getMethod().getParameterNames()); } catch (JavaModelException ex) { // TODO Auto-generated catch block JavaPlugin.log(ex); } } });