/** * Update the given position with the given event. The event includes the position. * * @param position The position * @param event The event */ private void updateWithIncludingEvent(HighlightedPosition position, DocumentEvent event) { position.delete(); position.update(event.getOffset(), 0); } }
/** * Update the given position with the given event. The event includes the position. * * @param position The position * @param event The event */ private void updateWithIncludingEvent(HighlightedPositionCore position, DocumentEvent event) { position.delete(); position.update(event.getOffset(), 0); } }
/** * Update the given position with the given event. The event includes the position. * * @param position The position * @param event The event */ private void updateWithIncludingEvent(HighlightedPosition position, DocumentEvent event) { position.delete(); position.update(event.getOffset(), 0); } }
@Override public final void documentAboutToBeChanged(final DocumentEvent event) { final ComposableUndoEdit edit= new ComposableUndoEdit(); edit.setGroup(currentGroup[0]); edit.setOriginal(currentEdit[0]); edit.setUndo(createUndoEdit(document, event.getOffset(), event.getLength(), event.getText())); eventUndos.addFirst(edit); }
@Override public final void documentAboutToBeChanged(final DocumentEvent event) { final ComposableUndoEdit edit= new ComposableUndoEdit(); edit.setGroup(currentGroup[0]); edit.setOriginal(currentEdit[0]); edit.setUndo(createUndoEdit(document, event.getOffset(), event.getLength(), event.getText())); eventUndos.addFirst(edit); }
/** * @return <code>true</code> only if the lastDamage is encloses the affected text of the given DocumentEvent. */ protected boolean isEventMatchingLastDamage(DocumentEvent e, IRegion lastDamage) { int eventStart = e.getOffset(); int eventEnd = eventStart+e.getText().length(); int damageStart = lastDamage.getOffset(); int damageEnd = damageStart+lastDamage.getLength(); boolean result = damageStart<=eventStart && damageEnd>=eventEnd; return result; }
public final void documentAboutToBeChanged(final DocumentEvent event) { final ComposableUndoEdit edit= new ComposableUndoEdit(); edit.setGroup(currentGroup[0]); edit.setOriginal(currentEdit[0]); edit.setUndo(createUndoEdit(document, event.getOffset(), event.getLength(), event.getText())); eventUndos.addFirst(edit); }
/** * Checks whether the given event touches the given position. To touch means * to overlap or come up to the borders of the position. * * @param position the position * @param event the event * @return <code>true</code> if <code>position</code> and * <code>event</code> are not absolutely disjoint * @since 3.1 */ private boolean overlapsOrTouches(LinkedPosition position, DocumentEvent event) { return position.getDocument().equals(event.getDocument()) && position.getOffset() <= event.getOffset() + event.getLength() && position.getOffset() + position.getLength() >= event.getOffset(); }
/** * 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()); }
/** * 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()); }
@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 documentChanged(DocumentEvent event) { fireBufferChanged(new BufferChangedEvent(this, event.getOffset(), event.getLength(), event.getText())); }
@Override public void documentChanged(DocumentEvent event) { fireBufferChanged(new BufferChangedEvent(this, event.getOffset(), event.getLength(), event.getText())); }
@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 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) { try { fReplacedText= event.getDocument().get(event.getOffset(), event.getLength()); fPreservedUndoModificationStamp= event.getModificationStamp(); } catch (BadLocationException x) { fReplacedText= null; } }
@Override public void update(DocumentEvent event) { int offset= event.getOffset(); int length= event.getLength(); int delta= event.getText().length() - length; if (offset < fPosition.getOffset()) fPosition.setOffset(fPosition.getOffset() + delta); else if (offset < fPosition.getOffset() + fPosition.getLength()) fPosition.setLength(fPosition.getLength() + delta); } }
@Override public void update(DocumentEvent event) { int offset= event.getOffset(); int length= event.getLength(); int delta= event.getText().length() - length; if (offset < fPosition.getOffset()) fPosition.setOffset(fPosition.getOffset() + delta); else if (offset < fPosition.getOffset() + fPosition.getLength()) fPosition.setLength(fPosition.getLength() + delta); } }