Java 类org.eclipse.jface.text.IWidgetTokenKeeper 实例源码

项目:typescript.java    文件:TypeScriptEditor.java   
public boolean requestWidgetToken(IWidgetTokenKeeper requester) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester);
}
项目:typescript.java    文件:TypeScriptEditor.java   
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester, priority);
}
项目:Eclipse-Postfix-Code-Completion    文件:CompilationUnitEditor.java   
@Override
public boolean requestWidgetToken(IWidgetTokenKeeper requester) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester);
}
项目:Eclipse-Postfix-Code-Completion    文件:CompilationUnitEditor.java   
@Override
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester, priority);
}
项目:Eclipse-Postfix-Code-Completion-Juno38    文件:CompilationUnitEditor.java   
@Override
public boolean requestWidgetToken(IWidgetTokenKeeper requester) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester);
}
项目:Eclipse-Postfix-Code-Completion-Juno38    文件:CompilationUnitEditor.java   
@Override
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) {
    if (PlatformUI.getWorkbench().getHelpSystem().isContextHelpDisplayed())
        return false;
    return super.requestWidgetToken(requester, priority);
}
项目:Pydev    文件:ScriptConsoleViewerWrapper.java   
public boolean requestWidgetToken(IWidgetTokenKeeper requester) {
    return viewer.requestWidgetToken(requester);
}
项目:Pydev    文件:ScriptConsoleViewerWrapper.java   
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority) {
    return viewer.requestWidgetToken(requester, priority);
}
项目:Pydev    文件:ScriptConsoleViewerWrapper.java   
public void releaseWidgetToken(IWidgetTokenKeeper tokenKeeper) {
    viewer.releaseWidgetToken(tokenKeeper);
}