public void saveViews() { StringWriter writer = new StringWriter(); saveViews(writer); storeViewLayout(writer.getBuffer().toString()); }
public void saveViews() { StringWriter writer = new StringWriter(); saveViews(writer); storeViewLayout(writer.getBuffer().toString()); }
public void saveViews() { StringWriter writer = new StringWriter(); saveViews(writer); storeViewLayout(writer.getBuffer().toString()); }
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(); }