Browse Source

Disable quick suggestions. They're pretty annoying. Ctrl-space still brings up the completions. See #359

dev/git-series/gccdum
Matt Godbolt 6 years ago
parent
commit
f9ef836096
  1. 3
      static/editor.js

3
static/editor.js

@ -84,7 +84,8 @@ define(function (require) {
scrollBeyondLastLine: false,
language: cmMode,
readOnly: !!options.readOnly || legacyReadOnly,
glyphMargin: true
glyphMargin: true,
quickSuggestions: false
});
this.editor.addAction({

Loading…
Cancel
Save