2007-09-21 プラグインでテキストエディターの内容を変更 eclipse TextEditor editor; ... editor.getDocumentProvider().getDocument(editor.getEditorInput()).set("...");