/** * Initializes the document information mapping between the given slave document and * its master document. * * @param visibleDocument the slave document * @since 2.1 */ protected void initializeDocumentInformationMapping(IDocument visibleDocument) { ISlaveDocumentManager manager= getSlaveDocumentManager(); fInformationMapping= manager == null ? null : manager.createMasterSlaveMapping(visibleDocument); }
/** * Initializes the document information mapping between the given slave document and * its master document. * * @param visibleDocument the slave document * @since 2.1 */ protected void initializeDocumentInformationMapping(IDocument visibleDocument) { ISlaveDocumentManager manager= getSlaveDocumentManager(); fInformationMapping= manager == null ? null : manager.createMasterSlaveMapping(visibleDocument); }
/** * Frees the given document if it is a slave document. * * @param slave the potential slave document * @since 3.0 */ protected void freeSlaveDocument(IDocument slave) { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null && manager.isSlaveDocument(slave)) manager.freeSlaveDocument(slave); }
/** * Frees the given document if it is a slave document. * * @param slave the potential slave document * @since 3.0 */ protected void freeSlaveDocument(IDocument slave) { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null && manager.isSlaveDocument(slave)) manager.freeSlaveDocument(slave); }
/** * Creates a slave document for the given document if there is a slave document manager * associated with this viewer. * * @param document the master document * @return the newly created slave document * @since 2.1 */ protected IDocument createSlaveDocument(IDocument document) { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null) { if (manager.isSlaveDocument(document)) return document; return manager.createSlaveDocument(document); } return document; }
/** * Creates a slave document for the given document if there is a slave document manager * associated with this viewer. * * @param document the master document * @return the newly created slave document * @since 2.1 */ protected IDocument createSlaveDocument(IDocument document) { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null) { if (manager.isSlaveDocument(document)) return document; return manager.createSlaveDocument(document); } return document; }
@Override public void resetVisibleRegion() { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null) { IDocument slave= getVisibleDocument(); IDocument master= manager.getMasterDocument(slave); if (master != null) { setVisibleDocument(master); manager.freeSlaveDocument(slave); } } }
@Override public void resetVisibleRegion() { ISlaveDocumentManager manager= getSlaveDocumentManager(); if (manager != null) { IDocument slave= getVisibleDocument(); IDocument master= manager.getMasterDocument(slave); if (master != null) { setVisibleDocument(master); manager.freeSlaveDocument(slave); } } }