src/editor/CodeHintManager.js
function _endSession() {
        if (!hintList) {
            return;
        }
        hintList.close();
        hintList = null;
        codeHintOpened = false;
        keyDownEditor = null;
        sessionProvider = null;
        sessionEditor = null;
        if (deferredHints) {
            deferredHints.reject();
            deferredHints = null;
        }
    }
function _endSession() {
        if (!hintList) {
            return;
        }
        hintList.close();
        hintList = null;
        codeHintOpened = false;
        keyDownEditor = null;
        sessionProvider = null;
        sessionEditor = null;
        if (deferredHints) {
            deferredHints.reject();
            deferredHints = null;
        }
    }
function _endSession ( ) { if ( ! hintList ) { return ; } hintList . close ( ) ; hintList = null ; codeHintOpened = false ; keyDownEditor = null ; sessionProvider = null ; sessionEditor = null ; if ( deferredHints ) { deferredHints . reject ( ) ; deferredHints = null ; } }
End the current hinting session
End the current hinting session