protected void replaceWith(IDocument document, int offset, String replacement) throws BadLocationException { Point keyRange = findKeyRange(document, offset); if (keyRange != null) { m_selection = new Point(keyRange.x, replacement.length()); ReplaceEdit replaceEdit = new ReplaceEdit(keyRange.x, keyRange.y - keyRange.x, replacement); try { replaceEdit.apply(document); } catch (Exception e) { SdkLog.warning(e); } } }
IBuffer icuBuffer = icu.getBuffer(); Document sourceDoc = new Document(icuBuffer.getContents()); edit.apply(sourceDoc);