public Set<View> getViews() { Set<View> views = new HashSet<>(); getViews(this, views); return views; }
public void bringViewToFront(String viewId) { viewsPane.bringViewToFront(viewId); }
public void saveViews() { StringWriter writer = new StringWriter(); saveViews(writer); storeViewLayout(writer.getBuffer().toString()); }
/** * Reads a serialisation of a view layout from the preferences system * @return The serialisation, or the empty string if no serialisation * was previously stored. */ public String readViewLayout() { return getViewLayoutPreferences().getString(getLayoutPreferencesKey(), ""); } }
public void reset() { for (View view : viewsPane.getViews()) { if (view.getViewComponent() != null) { if (view.getViewComponent() instanceof Resettable) { ((Resettable) view.getViewComponent()).reset(); } } } getWorkspace().getViewManager().unregisterViews(this); remove(viewsPane); viewsPane.dispose(); ViewsPaneMemento memento = new ViewsPaneMemento(this); memento.setForceReset(true); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void reset(String serialisation) { getWorkspace().getViewManager().unregisterViews(this); viewsPane.storeViewLayout(serialisation); viewsPane.dispose(); remove(viewsPane); viewsPane = new ViewsPane(getWorkspace(), new ViewsPaneMemento(this)); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); validate(); }
private void addPane(String panelId, String configFile, String viewPaneId, boolean reset) { URL clsURL = getClass().getResource(configFile); ViewsPane pane = new ViewsPane(getOWLWorkspace(), new ViewsPaneMemento(clsURL, viewPaneId, reset)); cardPanel.add(pane, panelId); viewsPanes.add(pane); }
@SuppressWarnings("unchecked") public ViewsPane(Workspace workspace, ViewsPaneMemento memento) { this.memento = memento; setLayout(new BorderLayout()); String serialisedViews = readViewLayout(); Reader reader = null; if (serialisedViews.length() != 0 && !memento.isForceReset()) { SplitterNode node = nodeReanimator.getRootNode(); nodePanel = new NodePanel(node); add(nodePanel); dynamicConfigPanel = new DynamicConfigPanel(nodePanel); add(nodePanel); dynamicConfigPanel = new DynamicConfigPanel(nodePanel);
public void save() { super.save(); viewsPane.saveViews(); }
public void reset() { for (View view : viewsPane.getViews()) { if (view.getViewComponent() != null) { if (view.getViewComponent() instanceof Resettable) { ((Resettable) view.getViewComponent()).reset(); } } } getWorkspace().getViewManager().unregisterViews(this); remove(viewsPane); viewsPane.dispose(); ViewsPaneMemento memento = new ViewsPaneMemento(this); memento.setForceReset(true); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void reset(String serialisation) { getWorkspace().getViewManager().unregisterViews(this); viewsPane.storeViewLayout(serialisation); viewsPane.dispose(); remove(viewsPane); viewsPane = new ViewsPane(getWorkspace(), new ViewsPaneMemento(this)); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); validate(); }
private void addPane(String panelId, String configFile, String viewPaneId, boolean reset) { URL clsURL = getClass().getResource(configFile); ViewsPane pane = new ViewsPane(getOWLWorkspace(), new ViewsPaneMemento(clsURL, viewPaneId, reset)); cardPanel.add(pane, panelId); viewsPanes.add(pane); }
public void saveViews() { StringWriter writer = new StringWriter(); saveViews(writer); storeViewLayout(writer.getBuffer().toString()); }
@SuppressWarnings("unchecked") public ViewsPane(Workspace workspace, ViewsPaneMemento memento) { this.memento = memento; setLayout(new BorderLayout()); String serialisedViews = readViewLayout(); Reader reader = null; if (serialisedViews.length() != 0 && !memento.isForceReset()) { SplitterNode node = nodeReanimator.getRootNode(); nodePanel = new NodePanel(node); add(nodePanel); dynamicConfigPanel = new DynamicConfigPanel(nodePanel); add(nodePanel); dynamicConfigPanel = new DynamicConfigPanel(nodePanel);
/** * Stores a serialisation of a view layout in the preferences system * @param serialisation The serialisation to be stored. */ public void storeViewLayout(String serialisation) { getViewLayoutPreferences().putString(getLayoutPreferencesKey(), serialisation); }
public void save() { super.save(); viewsPane.saveViews(); }
public void reset() { for (View view : viewsPane.getViews()) { if (view.getViewComponent() != null) { if (view.getViewComponent() instanceof Resettable) { ((Resettable) view.getViewComponent()).reset(); } } } getWorkspace().getViewManager().unregisterViews(this); remove(viewsPane); viewsPane.dispose(); ViewsPaneMemento memento = new ViewsPaneMemento(this); memento.setForceReset(true); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public Set<View> getViews() { Set<View> views = new HashSet<View>(); getViews(this, views); return views; }