public WorkspaceTab getWorkspaceTab(String id) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(id)) { return tab; } } return null; }
public WorkspaceTab getWorkspaceTab(String id) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(id)) { return tab; } } return null; }
public boolean containsTab(String tabId) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(tabId)) { return true; } } return false; }
public TabbedWorkspaceStateManager(TabbedWorkspace workspace) { tabs = new ArrayList<>(); for (WorkspaceTab tab : workspace.getWorkspaceTabs()) { tabs.add(tab.getId()); } }
public boolean containsTab(String tabId) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(tabId)) { return true; } } return false; }
public WorkspaceTab getWorkspaceTab(String id) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(id)) { return tab; } } return null; }
public TabbedWorkspaceStateManager(TabbedWorkspace workspace) { tabs = new ArrayList<String>(); for (WorkspaceTab tab : workspace.getWorkspaceTabs()) { tabs.add(tab.getId()); } }
public boolean containsTab(String tabId) { for (WorkspaceTab tab : getWorkspaceTabs()) { if (tab.getId().equals(tabId)) { return true; } } return false; }
public TabbedWorkspaceStateManager(TabbedWorkspace workspace) { tabs = new ArrayList<String>(); for (WorkspaceTab tab : workspace.getWorkspaceTabs()) { tabs.add(tab.getId()); } }
public void save() { try { super.save(); // Save out tabs TabbedWorkspaceStateManager man = new TabbedWorkspaceStateManager(this); man.save(); for (WorkspaceTab tab : getWorkspaceTabs()){ tab.save(); logger.info("Saved tab state for '{}' tab", tab.getLabel()); } logger.info("Saved workspace"); } catch (Exception e) { logger.error("An error occurred whilst saving the workspace", e); } }
public void save() { try { super.save(); // Save out tabs TabbedWorkspaceStateManager man = new TabbedWorkspaceStateManager(this); man.save(); for (WorkspaceTab tab : getWorkspaceTabs()){ tab.save(); } } catch (Exception e) { LOGGER.error("Exception caught doing save", e); } }
public void save() { try { super.save(); // Save out tabs TabbedWorkspaceStateManager man = new TabbedWorkspaceStateManager(this); man.save(); for (WorkspaceTab tab : getWorkspaceTabs()){ tab.save(); } } catch (Exception e) { LOGGER.error("Exception caught doing save", e); } }