public void actionPerformed(ActionEvent e) { WorkspaceTab tab = ((TabbedWorkspace) getWorkspace()).getSelectedTab(); ((Resettable) tab).reset(); tab.validate(); }
public void actionPerformed(ActionEvent e) { WorkspaceTab tab = ((TabbedWorkspace) getWorkspace()).getSelectedTab(); ((Resettable) tab).reset(); tab.validate(); }
public void actionPerformed(ActionEvent e) { WorkspaceTab tab = ((TabbedWorkspace) getWorkspace()).getSelectedTab(); ((Resettable) tab).reset(); tab.validate(); }
((Resettable) reasonerProgressMonitor).reset();
((Resettable) reasonerProgressMonitor).reset();
((Resettable) reasonerProgressMonitor).reset();
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); }