/** * Convenience method to add a workspace tab. This method initialises the tab. */ public void addTab(final WorkspaceTab workspaceTab) { tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), workspaceTab); workspaceTabs.add(workspaceTab); try { workspaceTab.initialise(); } catch (Exception e) { tabbedPane.remove(workspaceTab); tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), createErrorPanel(e)); } }
/** * Convenience method to add a workspace tab. This method initialises the tab. */ public void addTab(WorkspaceTab workspaceTab) { tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), workspaceTab); workspaceTabs.add(workspaceTab); try { workspaceTab.initialise(); } catch (Exception e) { tabbedPane.remove(workspaceTab); tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), createErrorPanel(e)); } }
/** * Convenience method to add a workspace tab. This method initialises the tab. */ public void addTab(WorkspaceTab workspaceTab) { tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), workspaceTab); workspaceTabs.add(workspaceTab); try { workspaceTab.initialise(); } catch (Exception e) { tabbedPane.remove(workspaceTab); tabbedPane.addTab(workspaceTab.getLabel(), workspaceTab.getIcon(), createErrorPanel(e)); } }