public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<String>())); }
public TabbedWorkspaceStateManager() { tabs = new ArrayList<>(); load(); }
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); } }
/** * Override of the <code>Workspace</code> initialise method. */ public void initialise() { JPanel tabHolder = new JPanel(new BorderLayout()); workspaceTabs = new HashSet<WorkspaceTab>(); // Create the tabs. tabbedPane = new JTabbedPane(); tabHolder.add(tabbedPane); setContent(tabbedPane); // Here we either need to load the default tabs, or // restore a set of tabs final List<String> visibleTabs = new TabbedWorkspaceStateManager().getTabs(); // If no tabs are set as visible (ie we have yet to customise, show all by default for (WorkspaceTabPlugin plugin : getOrderedPlugins()) { if (visibleTabs.isEmpty() || visibleTabs.contains(plugin.getId())) { addTabForPlugin(plugin); } } }
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); } }
/** * Override of the <code>Workspace</code> initialise method. */ public void initialise() { JPanel tabHolder = new JPanel(new BorderLayout()); workspaceTabs = new HashSet<WorkspaceTab>(); // Create the tabs. tabbedPane = new JTabbedPane(); tabHolder.add(tabbedPane); setContent(tabbedPane); // Here we either need to load the default tabs, or // restore a set of tabs final List<String> visibleTabs = new TabbedWorkspaceStateManager().getTabs(); // If no tabs are set as visible (ie we have yet to customise, show all by default for (WorkspaceTabPlugin plugin : getOrderedPlugins()) { if (visibleTabs.isEmpty() || visibleTabs.contains(plugin.getId())) { addTabForPlugin(plugin); } } }
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 initialise() { // Here we either need to load the default tabs, or // restore a set of tabs final List<String> visibleTabs = new TabbedWorkspaceStateManager().getTabs(); // If no tabs are set as visible (i.e. we have yet to customise) show all by default for (WorkspaceTabPlugin plugin : getOrderedPlugins()) { if(visibleTabs.isEmpty()) { if(plugin.isProtegeDefaultTab()) { addTabForPlugin(plugin); } } else if (visibleTabs.contains(plugin.getId())) { addTabForPlugin(plugin); } } }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }
public TabbedWorkspaceStateManager() { tabs = new ArrayList<String>(); load(); }
public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<>())); }
public TabbedWorkspaceStateManager() { tabs = new ArrayList<String>(); load(); }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }
public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<String>())); }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }