ファイルの名前が変更された場合に GEF エディターを更新する方法は?
これは、テキスト エディターでは問題なく機能します。たとえば、Eclipse で Navigator に移動し、エディタでファイル HelloWorld.java を開き、Navigator で HelloWorld.java の名前を HelloWorld2.java に変更します。エディターが更新され、「HelloWorld2.java」というタイトルになっていることに注意してください。
そのために、Eclipse はリスナーを作成し、それを ITextEditor に追加します。
IElementStateListener fElementStateListener= new ElementStateListener() (handles elementMoved and calles setInput((IEditorInput) movedElement))
ITextEditor.getDocumentProvider().addElementStateListener(fElementStateListener);
org.eclipse.gef.ui.parts.GraphicalEditor でも同じことを行う必要があると思いますが、graphicalEditor の原因がわかりません。documentProvider がありません。
更新:
GEF には 3 つの例が用意されています。それらの 1 つはロジックの例です: http://wiki.eclipse.org/GEF_Developer_FAQ#How_do_I_Run_the_Logic_Example.3F
LogicEditor クラスには、キーとなる内部クラス ResourceTracker があります。