public void setup(WorkspaceTabPlugin plugin) { this.id = plugin.getId(); this.label = plugin.getLabel(); this.icon = plugin.getIcon(); this.workspace = plugin.getWorkspace(); this.defaultViewConfigurationFile = plugin.getDefaultViewConfigFile(); }
public void setup(WorkspaceTabPlugin plugin) { this.id = plugin.getId(); this.label = plugin.getLabel(); this.icon = plugin.getIcon(); this.workspace = plugin.getWorkspace(); this.defaultViewConfigurationFile = plugin.getDefaultViewConfigFile(); }
public void setup(WorkspaceTabPlugin plugin) { this.id = plugin.getId(); this.label = plugin.getLabel(); this.icon = plugin.getIcon(); this.workspace = plugin.getWorkspace(); this.defaultViewConfigurationFile = plugin.getDefaultViewConfigFile(); }