private boolean isAvailable() { return getPageBook() != null && !getPageBook().isDisposed(); }
private boolean isAvailable() { return getPageBook() != null && !getPageBook().isDisposed(); }
/** * Registers the given runnable with the display * associated with this view's control, if any. * * @see org.eclipse.swt.widgets.Display#asyncExec(java.lang.Runnable) */ public void asyncExec(Runnable r) { if (isAvailable()) { getPageBook().getDisplay().asyncExec(r); } }
/** * Registers the given runnable with the display associated with this view's * control, if any. * * @param r the runnable * @see org.eclipse.swt.widgets.Display#asyncExec(java.lang.Runnable) */ public void asyncExec(Runnable r) { if (isAvailable()) { getPageBook().getDisplay().asyncExec(r); } }
protected IPage createDefaultPage(PageBook book) { MessagePage page = new MessagePage(); page.createControl(getPageBook()); initPage(page); return page; }
@Override protected IPage createDefaultPage(PageBook book) { MessagePage page = new MessagePage(); page.createControl(getPageBook()); initPage(page); return page; }
protected void updateHelp() { IConsole console = getConsole(); String helpContextId = null; if (console instanceof AbstractConsole) { AbstractConsole abs = (AbstractConsole) console; helpContextId = abs.getHelpContextId(); } if (helpContextId == null) { helpContextId = IConsoleHelpContextIds.CONSOLE_VIEW; } PlatformUI.getWorkbench().getHelpSystem().setHelp(getPageBook().getParent(), helpContextId); }
protected void updateHelp() { IConsole console = getConsole(); String helpContextId = null; if (console instanceof AbstractConsole) { AbstractConsole abs = (AbstractConsole) console; helpContextId = abs.getHelpContextId(); } if (helpContextId == null) { helpContextId = IConsoleHelpContextIds.CONSOLE_VIEW; } PlatformUI.getWorkbench().getHelpSystem().setHelp(getPageBook().getParent(), helpContextId); }
final IPageBookViewPage page = console.createPage(this); initPage(page); page.createControl(getPageBook()); console.addPropertyChangeListener(this);
final IPageBookViewPage page = console.createPage(this); initPage(page); page.createControl(getPageBook()); console.addPropertyChangeListener(this);