コード例 #1
0
 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()));
   }
 }
コード例 #2
0
 @WorkbenchPartTitle
 public String getTitleText() {
   return "Perspective Editor [" + plugin.getName() + "]";
 }