@Override public void documentChanged(DocumentEvent event) { // check whether the given event is the one which was remembered if (fEvent == null || event != fEvent) return; if (isPatchedEvent(event) || (event.getOffset() == 0 && event.getLength() == fRememberedLengthOfDocument)) { fLineDelimiter= null; fireTextSet(); } else { if (event.getOffset() < fRememberedLengthOfFirstLine) fLineDelimiter= null; fireTextChanged(); } }
@Override public void documentChanged(DocumentEvent event) { // check whether the given event is the one which was remembered if (fEvent == null || event != fEvent) return; if (isPatchedEvent(event) || (event.getOffset() == 0 && event.getLength() == fRememberedLengthOfDocument)) { fLineDelimiter= null; fireTextSet(); } else { if (event.getOffset() < fRememberedLengthOfFirstLine) fLineDelimiter= null; fireTextChanged(); } }