public void requestSelection() { workspace.setSelectedTab(this); }
public void requestSelection() { workspace.setSelectedTab(this); }
public void requestSelection() { workspace.setSelectedTab(this); }
public static WorkspaceTab handleCreateNewTab(TabbedWorkspace workspace) { final String name = JOptionPane.showInputDialog(workspace, "Please enter a name for the new tab"); if (name != null) { CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); WorkspaceTab tab = workspace.addTabForPlugin(customTabsManager.getPluginForTabName(name, workspace)); workspace.setSelectedTab(tab); return tab; } return null; } }
public static WorkspaceTab handleCreateNewTab(TabbedWorkspace workspace) { final String name = JOptionPane.showInputDialog(workspace, "Please enter a name for the new tab"); if (name != null) { CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); WorkspaceTab tab = workspace.addTabForPlugin(customTabsManager.getPluginForTabName(name, workspace)); workspace.setSelectedTab(tab); return tab; } return null; } }
public static WorkspaceTab handleCreateNewTab(TabbedWorkspace workspace) { final String name = JOptionPane.showInputDialog(workspace, "Please enter a name for the new tab"); if (name != null) { CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); WorkspaceTab tab = workspace.addTabForPlugin(customTabsManager.getPluginForTabName(name, workspace)); workspace.setSelectedTab(tab); return tab; } return null; } }