/** * Gets a custom tab plugin for a custom tab. * @param name The name/id of the custom tab. * @param workspace The workspace pertaining to the tab * @return A WorkspaceTabPlugin that can be used to create a custom tab. */ public final WorkspaceTabPlugin getPluginForTabName(final String name, final TabbedWorkspace workspace) { if(!customTabs.contains(name)) { customTabs.add(name); save(); } return createPlugin(name, workspace); }
/** * Gets a custom tab plugin for a custom tab. * @param name The name/id of the custom tab. * @param workspace The workspace pertaining to the tab * @return A WorkspaceTabPlugin that can be used to create a custom tab. */ public final WorkspaceTabPlugin getPluginForTabName(final String name, final TabbedWorkspace workspace) { if(!customTabs.contains(name)) { customTabs.add(name); save(); } return createPlugin(name, workspace); }
/** * Gets a custom tab plugin for a custom tab. * @param name The name/id of the custom tab. * @param workspace The workspace pertaining to the tab * @return A WorkspaceTabPlugin that can be used to create a custom tab. */ public final WorkspaceTabPlugin getPluginForTabName(final String name, final TabbedWorkspace workspace) { if(!customTabs.contains(name)) { customTabs.add(name); save(); } return createPlugin(name, workspace); }