protected void onPlugInRenamed(@Observes final PluginRenamed pluginRenamed) {
if (pluginRenamed.getOldPluginName().equals(plugin.getName())
&& pluginRenamed.getPlugin().getType().equals(plugin.getType())) {
plugin =
new Plugin(
pluginRenamed.getPlugin().getName(),
PluginType.PERSPECTIVE_LAYOUT,
pluginRenamed.getPlugin().getPath());
changeTitleNotification.fire(new ChangeTitleWidgetEvent(place, getTitleText(), getTitle()));
}
}
@WorkbenchPartTitle
public String getTitleText() {
return "Perspective Editor [" + plugin.getName() + "]";
}
