startRewriteSession
This method does not have any effect if the given session is not the active rewrite session. @param session the session to stop
536537538539540541542543544545546
} finally { try { if (rewriteSession != null) { IDocumentExtension4 extension = (IDocumentExtension4) document; extension.stopRewriteSession(rewriteSession); } else { setRedraw(true); } }
592593594595596597598599600601602
534535536537538539540541542543544
590591592593594595596597598599600
873874875876877878879880881882883
} finally { if (document instanceof IDocumentExtension4) { IDocumentExtension4 extension= (IDocumentExtension4) document; extension.stopRewriteSession(rewriteSession); } else { target.endCompoundChange(); setRedraw(true); }
21222324252627282930
multiEdit.addChild(edit); } multiEdit.apply(document); } finally { doc4.stopRewriteSession(rewriteSession); } } }
10001001100210031004100510061007100810091010
221222223224225226227228229230231
} finally { if (d instanceof IDocumentExtension4) { IDocumentExtension4 extension = (IDocumentExtension4) d; extension.stopRewriteSession(rewriteSession); } if (fUndoManager != null) fUndoManager.endCompoundChange(); }
104105106107108109110111112113114
* Stop a rewrite session */ private void endWrite(IDocument doc, DocumentRewriteSession session) { if (doc instanceof IDocumentExtension4) { IDocumentExtension4 d = (IDocumentExtension4) doc; d.stopRewriteSession(session); } } /** * Starts a rewrite session (keep things in a single undo/redo)
998999100010011002100310041005100610071008