/** * Sets the visible page of the given pagebook to be the same as * the visible page of this editor. * * @param pageBook a pagebook to synchronize */ protected void syncPageBook(PageBook pageBook) { int pos = tabFolder.getSelectionIndex(); Control children[] = pageBook.getChildren(); int size = children.length; if (pos < size) { pageBook.showPage(children[pos]); } } }
private void setExplorerVisible(String id) { Control [] excontrols = explorerContainer.getChildren(); TaskExplorer explorer=null; for (int i=0; i<excontrols.length; i++) { Control excontrol = excontrols[i]; explorer = (TaskExplorer)excontrol.getData(ICompositeCheatsheetTags.EXPLORER); if (explorer.getId().equals(id)) { explorerContainer.showPage(excontrol); setCurrentExplorer(explorer); return; } } }
/** * Shows the given page. This method has no effect if the given page is not * contained in this pagebook. * * @param page the page to show */ public void showPage(Control page) { if (page.isDisposed() || page.getParent() != this) { return; } currentPage = page; // show new page page.setVisible(true); layout(true); // hide old (and all others) *after* new page has been made visible in // order to avoid flashing for (Control child : getChildren()) { if (child != page && !child.isDisposed()) { child.setVisible(false); } } } }
private TaskExplorer getTaskExplorer(String id) { Control [] excontrols = explorerContainer.getChildren(); TaskExplorer explorer=null; for (int i=0; i<excontrols.length; i++) { Control excontrol = excontrols[i]; Object data = excontrol.getData(ICompositeCheatsheetTags.EXPLORER); if (data instanceof TaskExplorer) { explorer = (TaskExplorer)data; if (explorer.getId().equals(id)) { return explorer; } } } // Load the explorer from an extension point TaskExplorerManager explorerManager = TaskExplorerManager.getInstance(); explorer = explorerManager.getExplorer(id); if (explorer != null) { explorer.createControl(explorerContainer, mform.getToolkit()); explorer.getControl().setData(ICompositeCheatsheetTags.EXPLORER, explorer); new TreeExplorerMenu(explorer); } return explorer; }