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); }
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); }
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); }
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(); }
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() { 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() { 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); }