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 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 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 TabbedWorkspaceStateManager(TabbedWorkspace workspace) { tabs = new ArrayList<>(); for (WorkspaceTab tab : workspace.getWorkspaceTabs()) { tabs.add(tab.getId()); } }
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 ViewsPaneMemento(WorkspaceTab workspaceTab) { initialCongigFileURL = workspaceTab.getDefaultViewConfigurationFile(); viewPaneId = workspaceTab.getId(); }
public ViewsPaneMemento(WorkspaceTab workspaceTab) { initialCongigFileURL = workspaceTab.getDefaultViewConfigurationFile(); viewPaneId = workspaceTab.getId(); }
public ViewsPaneMemento(WorkspaceTab workspaceTab) { initialCongigFileURL = workspaceTab.getDefaultViewConfigurationFile(); viewPaneId = workspaceTab.getId(); }