public String text() { return event.getText(); }
public void documentChanged(DocumentEvent event) { listener.fileChanged(event.getText().toCharArray(), isFirstTimeRead); isFirstTimeRead = false; }
private static int getDelta(DocumentEvent event) { String text= event.getText(); return text == null ? -event.getLength() : (text.length() - event.getLength()); }
private static int getDelta(DocumentEvent event) { String text= event.getText(); return text == null ? -event.getLength() : (text.length() - event.getLength()); }
@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); }
/** * Update the given position with the given event. The event precedes the position. * * @param position The position * @param event The event */ private void updateWithPrecedingEvent(HighlightedPosition position, DocumentEvent event) { String newText= event.getText(); int eventNewLength= newText != null ? newText.length() : 0; int deltaLength= eventNewLength - event.getLength(); position.setOffset(position.getOffset() + deltaLength); }
@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); }
/** * Update the given position with the given event. The event precedes the position. * * @param position The position * @param event The event */ private void updateWithPrecedingEvent(HighlightedPositionCore position, DocumentEvent event) { String newText= event.getText(); int eventNewLength= newText != null ? newText.length() : 0; int deltaLength= eventNewLength - event.getLength(); position.setOffset(position.getOffset() + deltaLength); }
/** * Update the given position with the given event. The event precedes the position. * * @param position The position * @param event The event */ private void updateWithPrecedingEvent(HighlightedPosition position, DocumentEvent event) { String newText= event.getText(); int eventNewLength= newText != null ? newText.length() : 0; int deltaLength= eventNewLength - event.getLength(); position.setOffset(position.getOffset() + deltaLength); }
/** * @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); }
private void internalUpdate(DocumentEvent event) throws BadLocationException { int linesBefore= fDocument.getNumberOfLines(event.getOffset(), event.getLength()); String text= event.getText(); int linesAfter= (text == null ? 0 : fDocument.computeNumberOfLines(text)) + 1; int firstLine= fDocument.getLineOfOffset(event.getOffset()); int delta= linesAfter - linesBefore; int changed= Math.min(linesAfter, linesBefore); if (delta > 0) { Object[] nulls= new Object[delta]; fHashes.addAll(firstLine + changed, Arrays.asList(nulls)); } else if (delta < 0) { fHashes.subList(firstLine, firstLine - delta).clear(); } Collections.fill(fHashes.subList(firstLine, firstLine + changed), null); }
@Override public void documentChanged(DocumentEvent event) { input.updateData(event.getOffset(), event.getLength(), event.getText()); }
@Override public void documentChanged(DocumentEvent event) { input.updateData(event.getOffset(), event.getLength(), event.getText()); }
@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 public void documentChanged(DocumentEvent event) { fireBufferChanged(new BufferChangedEvent(this, event.getOffset(), event.getLength(), event.getText())); }
public void documentChanged(DocumentEvent event) { fireBufferChanged(new BufferChangedEvent(this, event.getOffset(), event.getLength(), event.getText())); }
@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); } }