TextEditorを読み込み専用で開きたい

org.eclipse.ui.editors.text.TextEditorを継承したクラスで下のようにすればいいのか？

http://dev.eclipse.org/newslists/news.eclipse.tools/msg50392.html

protected void doSetInput(IEditorInput input) throws CoreException {
    super.doSetInput(input);
    ((IFileEditorInput)input).getFile().setReadOnly(true);
}

org.eclipse.ui.IFileEditorInputはパッケージがorg.eclipse.uiなのにorg.eclipse.ui.ideプラグインを入れないと使えない。

ちなみに、今Eclipse3.6でやってみたら、setReadOnly()はdeprecatedになっていた。

正しくはこっち

protected void doSetInput(IEditorInput input) throws CoreException {
    super.doSetInput(input);
    
    IFile file = ((IFileEditorInput) input).getFile();
    
    ResourceAttributes attributes = file.getResourceAttributes();
    attributes.setReadOnly(true);
    
    file.setResourceAttributes(attributes);
}