/** * Extra diagnostic report for bug 453151 * * @param pr * the record for which we don't know the pageSite anymore */ private void reportNullPageSiteOnDeactivate(PageRec pr) { IPage page = pr.page; if (page == null) { WorkbenchPlugin.log(new IllegalStateException("Bug 453151: page is null in PageBookView.deactivate")); //$NON-NLS-1$ } else { boolean hasKey = mapPageToSite.keySet().contains(page); Integer count = mapPageToNumRecs.get(page); Control control = page.getControl(); boolean disposed = control != null && control.isDisposed(); String s = "Bug 453151: pageSite is null for page: " //$NON-NLS-1$ + page.getClass().getName() + ", page count: " + count //$NON-NLS-1$ + ", key exists: " + hasKey + ", disposed: " + disposed; //$NON-NLS-1$ //$NON-NLS-2$ WorkbenchPlugin.log(new IllegalStateException(s)); } }
mapPageToNumRecs.remove(rec.page); Control control = rec.page.getControl(); if (control != null && !control.isDisposed()) {
@Override public void setFocus() { // first set focus on the page book, in case the page // doesn't properly handle setFocus if (book != null && !book.isDisposed()) { book.setFocus(); } // then set focus on the page, if any if (activeRec != null && !activeRec.page.getControl().isDisposed()) { activeRec.page.setFocus(); } }
@Override public void setWordWrap(boolean wordWrap) { fWordWrap = wordWrap; IWorkbenchPart part = getSite().getPart(); if (part instanceof PageBookView) { Control control = ((PageBookView) part).getCurrentPage().getControl(); if (control instanceof StyledText) { ((StyledText) control).setWordWrap(wordWrap); } } }
/** * Shows this view's viewer page. */ public void showViewer() { if (getPageBook().isDisposed()) { return; } getPageBook().showPage(getDefaultPage().getControl()); }
public IStatus runInUIThread(IProgressMonitor monitor) { synchronized (list) { if (list.isEmpty()) { return Status.OK_STATUS; } IWorkbenchWindow[] workbenchWindows = PlatformUI.getWorkbench().getWorkbenchWindows(); for (int i = 0; i < workbenchWindows.length; i++) { IWorkbenchWindow window = workbenchWindows[i]; if (window != null) { IWorkbenchPage page = window.getActivePage(); if (page != null) { IViewPart part = page.findView(IConsoleConstants.ID_CONSOLE_VIEW); if (part != null && part instanceof IConsoleView) { ConsoleView view = (ConsoleView) part; if (list.contains(view.getConsole())) { Control control = view.getCurrentPage().getControl(); if (!control.isDisposed()) { control.redraw(); } } } } } } list.clear(); } return Status.OK_STATUS; } }
@Override public IStatus runInUIThread(IProgressMonitor monitor) { synchronized (list) { if (list.isEmpty()) { return Status.OK_STATUS; } IWorkbenchWindow[] workbenchWindows = PlatformUI.getWorkbench().getWorkbenchWindows(); for (int i = 0; i < workbenchWindows.length; i++) { IWorkbenchWindow window = workbenchWindows[i]; if (window != null) { IWorkbenchPage page = window.getActivePage(); if (page != null) { IViewPart part = page.findView(IConsoleConstants.ID_CONSOLE_VIEW); if (part != null && part instanceof IConsoleView) { ConsoleView view = (ConsoleView) part; if (list.contains(view.getConsole())) { Control control = view.getCurrentPage().getControl(); if (!control.isDisposed()) { control.redraw(); } } } } } } list.clear(); } return Status.OK_STATUS; } }
ToolBarManager toolBarManager = CompareViewerPane.getToolBarManager(pagePane); IPage page = createPage(pagePane, toolBarManager); pagePane.setContent(page.getControl()); if (parent instanceof Splitter) ((Splitter)parent).setVisible(pagePane, false);
ToolBarManager toolBarManager = CompareViewerPane.getToolBarManager(pagePane); IPage page = createPage(pagePane, toolBarManager); pagePane.setContent(page.getControl()); if (parent instanceof Splitter) ((Splitter)parent).setVisible(pagePane, false);
&& ((ContentOutline) selectingPart).getCurrentPage() != null && ((ContentOutline) selectingPart).getCurrentPage() .getControl().isFocusControl()) { node = SelectionHelper.toNode((IStructuredSelection) selection); if (node == null) {
Control pageControl = activeRec.page.getControl(); if (pageControl != null && !pageControl.isDisposed()) { PageSite pageSite = (PageSite) mapPageToSite.get(activeRec.page);
IPage page = view.getCurrentPage(); if(page != null) { widget = page.getControl();