如何使用 IResourceChangeListener 检测文件重命名并动态设置 EditorPart 名称？

IResourceChangeListener监听项目工作区中的更改，例如编辑器零件文件名是否已更改。

我想知道如何访问该特定的EditorPart并相应地更改其标题名称（例如.setPartName），或者刷新编辑器以便它自动显示新名称。

理想的情况是如果IResourceChangeListener has a Rename事件类型，但似乎不是case.

参考question.

The IResourceChangeListener使用以下组合触发重命名/移动事件REMOVED种类和一个MOVED_TO旗帜）。您可以在IResourceDelta with

@Override
public void resourceChanged(final IResourceChangeEvent event)
{
  IResourceDelta delta = event.getDelta();

  // Look for change to our file

  delta = delta.findMember(IPath of file being edited);
  if (delta == null)
    return;

  if delta.getKind() == IResourceDelta.REMOVED
   {
     if ((delta.getFlags() & IResourceDelta.MOVED_TO) != 0)
      {
        IPath newPath = delta.getMovedToPath();

        ... handle new path
      }
   }
}

处理新路径的代码可能类似于：

IFile file = ResourcesPlugin.getWorkspace().getRoot().getFile(newPath);
if (file != null)
 {
   setInput(new FileEditorInput(file));

   setPartName(newPath.lastSegment());

   ... anything else required 
 }