/** * Sets this viewer's visible document. The visible document represents the * visible region of the viewer's input document. * * @param document the visible document */ protected void setVisibleDocument(IDocument document) { if (fVisibleDocument == document && fVisibleDocument instanceof ChildDocument) { // optimization for new child documents return; } if (fVisibleDocument != null) { if (fVisibleDocumentListener != null) fVisibleDocument.removeDocumentListener(fVisibleDocumentListener); if (fVisibleDocument != document) freeSlaveDocument(fVisibleDocument); } fVisibleDocument= document; initializeDocumentInformationMapping(fVisibleDocument); initializeWidgetContents(); fFindReplaceDocumentAdapter= null; if (fVisibleDocument != null && fVisibleDocumentListener != null) fVisibleDocument.addDocumentListener(fVisibleDocumentListener); }
/** * Sets this viewer's visible document. The visible document represents the * visible region of the viewer's input document. * * @param document the visible document */ protected void setVisibleDocument(IDocument document) { if (fVisibleDocument == document && fVisibleDocument instanceof ChildDocument) { // optimization for new child documents return; } if (fVisibleDocument != null) { if (fVisibleDocumentListener != null) fVisibleDocument.removeDocumentListener(fVisibleDocumentListener); if (fVisibleDocument != document) freeSlaveDocument(fVisibleDocument); } fVisibleDocument= document; initializeDocumentInformationMapping(fVisibleDocument); initializeWidgetContents(); fFindReplaceDocumentAdapter= null; if (fVisibleDocument != null && fVisibleDocumentListener != null) fVisibleDocument.addDocumentListener(fVisibleDocumentListener); }