in src/main/resources/assets/show-hint.js [4:12]
CodeMirror.showHint = function(cm, hints) {
// We want a single cursor position.
if (cm.somethingSelected()) return;
if (cm.state.completionActive) cm.state.completionActive.close();
var completion = cm.state.completionActive = new Completion(cm);
CodeMirror.signal(cm, "startCompletion", cm);
return completion.showHints(hints);
};