startRewriteSession
This method does not have any effect if the given session is not the active rewrite session. @param session the session to stop
835836837838839840841842843844845
if (temp.getLineOffset(line) + temp.getLineLength(line) == temp.getLength()) break; line++; offset = temp.getLineOffset(line); } temp.stopRewriteSession(session); removeStuff(temp); c.text = temp.get(c.offset, temp.getLength() - c.offset); } catch (BadLocationException e) { e.printStackTrace(); }
837838839840841842843844845846847
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(); }