public boolean requestWidgetToken(IWidgetTokenKeeper requester) { if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed()) return false; return super.requestWidgetToken(requester); }
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) { if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed()) return false; return super.requestWidgetToken(requester, priority); }
@Override public boolean requestWidgetToken(IWidgetTokenKeeper requester) { if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed()) return false; return super.requestWidgetToken(requester); }
@Override public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) { if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed()) return false; return super.requestWidgetToken(requester, priority); }
public boolean requestWidgetToken(IWidgetTokenKeeper requester) { return viewer.requestWidgetToken(requester); }
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) { return viewer.requestWidgetToken(requester, priority); }
public void releaseWidgetToken(IWidgetTokenKeeper tokenKeeper) { viewer.releaseWidgetToken(tokenKeeper); }