@Override protected void doDestroyPage(IWorkbenchPart part, PageRec rec) { IPage page = rec.page; page.dispose(); rec.dispose(); }
/** * 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)); } }
@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(); } }
public void setFocus() { IPage currentPage= getCurrentPage(); if (currentPage != null) currentPage.setFocus(); else super.setFocus(); }
/** * Prepares the page in the given page rec for use in this view. * * @param rec */ private void preparePage(PageRec rec) { IPageSite site = null; Integer count; if (!doesPageExist(rec.page)) { if (rec.page instanceof IPageBookViewPage) { site = ((IPageBookViewPage) rec.page).getSite(); } if (site == null) { // We will create a site for our use site = new PageSite(getViewSite()); } mapPageToSite.put(rec.page, site); rec.subActionBars = (SubActionBars) site.getActionBars(); rec.subActionBars.addPropertyChangeListener(actionBarPropListener); // for backward compability with IPage rec.page.setActionBars(rec.subActionBars); count = Integer.valueOf(0); } else { site = mapPageToSite.get(rec.page); rec.subActionBars = (SubActionBars) site.getActionBars(); count = mapPageToNumRecs.get(rec.page); } mapPageToNumRecs.put(rec.page, Integer.valueOf(count.intValue() + 1)); }
@Override public void setFocus() { IPage currentPage= getCurrentPage(); if (currentPage != null) currentPage.setFocus(); else super.setFocus(); }
@Override protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { IPage page = pageRecord.page; page.dispose(); pageRecord.dispose(); // empty cross-reference cache fPartsToPages.remove(part); }
mapPageToNumRecs.remove(rec.page); Control control = rec.page.getControl(); if (control != null && !control.isDisposed()) {
@Override public void setFocus() { if (isLinkingEnabled() && lastSelectedElement != null) { showLastSelectedElement(); } getCurrentPage().setFocus(); }
@Override protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { IPage page = pageRecord.page; page.dispose(); pageRecord.dispose(); // empty cross-reference cache fPartsToPages.remove(part); }
@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); } } }
public void setFocus() { if (isLinkingEnabled()){ if (lastSelectedElement != null){ if (lastSelectedElement instanceof IEditorPart){ editorActivated((IEditorPart) lastSelectedElement); } else { Object resource = Utils.getAdapter(lastSelectedElement, IResource.class); if (resource != null) showHistoryPageFor((IResource) resource, false, false, null); else showHistoryPageFor(lastSelectedElement, false, false, null); } //reset lastSelectedElement to null to prevent updating history view if it just gets focus lastSelectedElement = null; } } if (currentPageContainer.page instanceof IPage){ ((IPage) currentPageContainer.page).setFocus(); } }
protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { IPage page = pageRecord.page; page.dispose(); pageRecord.dispose(); // empty cross-reference cache fPartsToPages.remove(part); }
/** * Shows this view's viewer page. */ public void showViewer() { if (getPageBook().isDisposed()) { return; } getPageBook().showPage(getDefaultPage().getControl()); }
@Override protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { IPage page = pageRecord.page; page.dispose(); pageRecord.dispose(); // empty cross-reference cache fPartsToPages.remove(part); }
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 protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { pageRecord.page.dispose(); pageRecord.dispose(); }
@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; } }
@Override protected void doDestroyPage(IWorkbenchPart part, PageRec pageRecord) { IPage page = pageRecord.page; if (page instanceof IHistoryPage) ((IHistoryPage)page).removePropertyChangeListener(this); page.dispose(); pageRecord.dispose(); }
ToolBarManager toolBarManager = CompareViewerPane.getToolBarManager(pagePane); IPage page = createPage(pagePane, toolBarManager); pagePane.setContent(page.getControl()); if (parent instanceof Splitter) ((Splitter)parent).setVisible(pagePane, false);