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() + "]"; }