ファイル入力が新しいファイル名を反映するように変更されたときに、Eclipse エディターのタイトル バーを更新するにはどうすればよいですか? たとえば、ファイルの名前が変更されたが、ファイルに対してまだエディターを開いている場合です。これを行うための公式ガイドライン(特別なインターフェース、クラスなどを使用)に従っている場合でも、これまでに行ったことはすべて失敗しました。Java エディタは、これをうまく処理できるようです。タイトルを更新してステータスの更新を投稿しても、更新されません。この後に更新メソッドを呼び出しても、エディターのタイトルは更新されません。紛らわしい。
乾杯、クリス