in src/main/resources/assets/show-hint.js [21:28]
close: function() {
if (!this.active()) return;
if (this.widget) this.widget.close();
if (this.onClose) this.onClose();
this.cm.state.completionActive = null;
CodeMirror.signal(this.cm, "endCompletion", this.cm);
},