public void windowClosing(WindowEvent e) { if (doClose(workspace)) { // Remove the listener frame.removeWindowListener(this); frame.dispose(); } } });
public WorkspaceTab newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { WorkspaceViewsTab tab = createCustomTab(name); tab.setup(this); return tab; }
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 actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void showResultsView(String id, String headerLabel, Color headerColor, ViewComponent viewComponent, boolean replace, int location) { ViewComponentPlugin plugin = new ResultsViewComponentPlugin(id, headerLabel, headerColor, viewComponent); showResultsView(plugin, replace, location); }
public boolean containsTab(String tabId) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(tabId)) { return true; } } return false; }
/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected WorkspaceTabPlugin createInstance(IExtension extension) { return new WorkspaceTabPluginJPFImpl(workspace, extension); } }
public CustomTab(String label) { this.label = label; setToolTipText("Drop views from the Views menu to create a custom view layout"); }
public void windowClosing(WindowEvent e) { if (doClose(workspace)){ // Remove the listener frame.removeWindowListener(this); frame.dispose(); } } });
public WorkspaceTab newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { WorkspaceViewsTab tab = createCustomTab(name); tab.setup(this); return tab; }
public void showResultsView(String id, String headerLabel, Color headerColor, ViewComponent viewComponent, boolean replace, int location) { ViewComponentPlugin plugin = new ResultsViewComponentPlugin(id, headerLabel, headerColor, viewComponent); showResultsView(plugin, replace, location); }
public boolean containsTab(String tabId) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(tabId)) { return true; } } return false; }
/** * This method needs to be overriden to create an instance * of the desired plugin, based on the plugin <code>Extension</code> * @param extension The <code>Extension</code> that describes the * Java Plugin Framework extension. * @return A plugin object (typically some sort of wrapper around * the extension) */ protected WorkspaceTabPlugin createInstance(IExtension extension) { return new WorkspaceTabPluginJPFImpl(workspace, extension); } }
public void windowClosing(WindowEvent e) { if (doClose(workspace)) { // Remove the listener frame.removeWindowListener(this); frame.dispose(); } } });
public WorkspaceTab newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { WorkspaceViewsTab tab = createCustomTab(name); tab.setup(this); return tab; }
public void showResultsView(String id, String headerLabel, Color headerColor, ViewComponent viewComponent, boolean replace, int location) { ViewComponentPlugin plugin = new ResultsViewComponentPlugin(id, headerLabel, headerColor, viewComponent); showResultsView(plugin, replace, location); }
public WorkspaceTab getWorkspaceTab(String id) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(id)) { return tab; } } return null; }