@Override public void setDocument(IDocument document, int modelRangeOffset, int modelRangeLength) { fReplaceTextPresentation= true; fireInputDocumentAboutToBeChanged(fDocument, document); IDocument oldDocument= fDocument; fDocument= document; try { IDocument slaveDocument= createSlaveDocument(document); updateSlaveDocument(slaveDocument, modelRangeOffset, modelRangeLength); setVisibleDocument(slaveDocument); } catch (BadLocationException x) { throw new IllegalArgumentException(JFaceTextMessages.getString("TextViewer.error.invalid_visible_region_1")); //$NON-NLS-1$ } resetPlugins(); inputChanged(fDocument, oldDocument); fireInputDocumentChanged(oldDocument, fDocument); fLastSentSelectionChange= null; fReplaceTextPresentation= false; }
@Override public void setDocument(IDocument document, int modelRangeOffset, int modelRangeLength) { fReplaceTextPresentation= true; fireInputDocumentAboutToBeChanged(fDocument, document); IDocument oldDocument= fDocument; fDocument= document; try { IDocument slaveDocument= createSlaveDocument(document); updateSlaveDocument(slaveDocument, modelRangeOffset, modelRangeLength); setVisibleDocument(slaveDocument); } catch (BadLocationException x) { throw new IllegalArgumentException(JFaceTextMessages.getString("TextViewer.error.invalid_visible_region_1")); //$NON-NLS-1$ } resetPlugins(); inputChanged(fDocument, oldDocument); fireInputDocumentChanged(oldDocument, fDocument); fLastSentSelectionChange= null; fReplaceTextPresentation= false; }
@Override public void setVisibleRegion(int start, int length) { IRegion region= getVisibleRegion(); if (start == region.getOffset() && length == region.getLength()) { // nothing to change return; } setRedraw(false); try { IDocument slaveDocument= createSlaveDocument(getVisibleDocument()); if (updateSlaveDocument(slaveDocument, start, length)) setVisibleDocument(slaveDocument); } catch (BadLocationException x) { throw new IllegalArgumentException(JFaceTextMessages.getString("TextViewer.error.invalid_visible_region_2")); //$NON-NLS-1$ } finally { setRedraw(true); } }
@Override public void setVisibleRegion(int start, int length) { IRegion region= getVisibleRegion(); if (start == region.getOffset() && length == region.getLength()) { // nothing to change return; } setRedraw(false); try { IDocument slaveDocument= createSlaveDocument(getVisibleDocument()); if (updateSlaveDocument(slaveDocument, start, length)) setVisibleDocument(slaveDocument); } catch (BadLocationException x) { throw new IllegalArgumentException(JFaceTextMessages.getString("TextViewer.error.invalid_visible_region_2")); //$NON-NLS-1$ } finally { setRedraw(true); } }