public void setup(ViewComponentPlugin plugin) { this.workspace = plugin.getWorkspace(); }
public void setup(ViewComponentPlugin plugin) { this.workspace = plugin.getWorkspace(); }
public void setup(ViewComponentPlugin plugin) { this.workspace = plugin.getWorkspace(); }
/** * If the selected workspace tab is a views tab, then * this method requests that the view specified by the * view id is brought to the front. * @param viewId The id of the view to be shown. */ public void bringViewToFront(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); if (tab instanceof WorkspaceViewsTab) { ((WorkspaceViewsTab) tab).bringViewToFront(viewId); } } }
/** * If the selected workspace tab is a views tab, then * this method requests that the view specified by the * view id is brought to the front. * @param viewId The id of the view to be shown. */ public void bringViewToFront(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); if (tab instanceof WorkspaceViewsTab) { ((WorkspaceViewsTab) tab).bringViewToFront(viewId); } } }
/** * If the selected workspace tab is a views tab, then * this method requests that the view specified by the * view id is brought to the front. * @param viewId The id of the view to be shown. */ public void bringViewToFront(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); if (tab instanceof WorkspaceViewsTab) { ((WorkspaceViewsTab) tab).bringViewToFront(viewId); } } }
/** * Shows the view that is identified by the specified id. * @param viewId The id of the view to be shown. * @return The <code>View</code> that was shown. If the * <code>View</code> could not be shown then the return * value is <code>null</code>. */ public View showView(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return null; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); // if (tab instanceof WorkspaceViewsTab) { View view = new View(plugin, plugin.getWorkspace()); DynamicConfigPanel pan = new DynamicConfigPanel(tab); pan.setCurrentComponent(view, plugin.getLabel()); pan.activate(); // ((WorkspaceViewsTab) tab).getViewsPane().addView(view, plugin.getLabel()); // } } return null; } }
/** * Shows the view that is identified by the specified id. * @param viewId The id of the view to be shown. * @return The <code>View</code> that was shown. If the * <code>View</code> could not be shown then the return * value is <code>null</code>. */ public View showView(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return null; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); // if (tab instanceof WorkspaceViewsTab) { View view = new View(plugin, plugin.getWorkspace()); DynamicConfigPanel pan = new DynamicConfigPanel(tab); pan.setCurrentComponent(view, plugin.getLabel()); pan.activate(); // ((WorkspaceViewsTab) tab).getViewsPane().addView(view, plugin.getLabel()); // } } return null; } }
/** * Shows the view that is identified by the specified id. * @param viewId The id of the view to be shown. * @return The <code>View</code> that was shown. If the * <code>View</code> could not be shown then the return * value is <code>null</code>. */ public View showView(String viewId) { ViewComponentPlugin plugin = pluginMap.get(viewId); if (plugin == null) { return null; } // We need to get hold of the views tab Workspace ws = plugin.getWorkspace(); if (ws instanceof TabbedWorkspace) { WorkspaceTab tab = ((TabbedWorkspace) ws).getSelectedTab(); // if (tab instanceof WorkspaceViewsTab) { View view = new View(plugin, plugin.getWorkspace()); DynamicConfigPanel pan = new DynamicConfigPanel(tab); pan.setCurrentComponent(view, plugin.getLabel()); pan.activate(); // ((WorkspaceViewsTab) tab).getViewsPane().addView(view, plugin.getLabel()); // } } return null; } }