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); }
/** * Gets the layout preferences key for this view panel * @return The key */ public String getLayoutPreferencesKey() { return "protege-4.1." + memento.getViewPaneId(); }
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); }
if (serialisedViews.length() != 0 && !memento.isForceReset()) { if(memento.getInitialCongigFileURL() != null) { reader = new InputStreamReader(new BufferedInputStream(memento.getInitialCongigFileURL().openStream()));
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); }
if (serialisedViews.length() != 0 && !memento.isForceReset()) { if(memento.getInitialCongigFileURL() != null) { reader = new InputStreamReader(new BufferedInputStream(memento.getInitialCongigFileURL().openStream()));
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 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); }
if (serialisedViews.length() != 0 && !memento.isForceReset()) { if(memento.getInitialCongigFileURL() != null) { reader = new InputStreamReader(new BufferedInputStream(memento.getInitialCongigFileURL().openStream()));
/** * Gets the layout preferences key for this view panel * @return The key */ public String getLayoutPreferencesKey() { return "protege-4.1." + memento.getViewPaneId(); }
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); }
/** * Gets the layout preferences key for this view panel * @return The key */ public String getLayoutPreferencesKey() { return "protege-4.1." + memento.getViewPaneId(); }
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 initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); 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(); }
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(); }
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(); }