Added option to turn off autocompletion

nengo · Apr 20, 2018 · f8ca57e · f8ca57e
1 parent 3095157
commit f8ca57e
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/nengo_gui/static/ace.js b/nengo_gui/static/ace.js
@@ -149,7 +149,7 @@ Nengo.Ace = function (uid, args) {
     lang_tools.setCompleters([this.completer]);
     this.editor.setOptions({
         enableBasicAutocompletion: true,
-        enableLiveAutocompletion: true
+        enableLiveAutocompletion: Nengo.config.autocomplete
     });
 }
 

diff --git a/nengo_gui/static/config.js b/nengo_gui/static/config.js
@@ -27,6 +27,7 @@ Nengo.Config = function(parent, args) {
     define_option("zoom_fonts", false);
     define_option("font_size", 100);
     define_option("scriptdir", ".");
+    define_option("autocomplete", true);
 
     // Ace editor options
     define_option("hide_editor", false);

diff --git a/nengo_gui/static/modal.js b/nengo_gui/static/modal.js
@@ -252,6 +252,15 @@ Nengo.Modal.prototype.main_config = function() {
           '<div class="help-block with-errors"></div>' +
         '</div>' +
       '</div>' +
+      '<div class="form-group">' +
+        '<div class="checkbox">' +
+          '<label for="autocomplete" class="control-label">' +
+            '<input type="checkbox" id="autocomplete">' +
+            'Use live autocompletion in editor' +
+          '</label>' +
+          '<div class="help-block with-errors"></div>' +
+        '</div>' +
+      '</div>' +
       '<div class="form-group">' +
         '<div class="checkbox">' +
           '<label for="transparent-nets" class="control-label">' +
@@ -302,6 +311,11 @@ Nengo.Modal.prototype.main_config = function() {
         Nengo.ace.auto_update = $('#sync-editor').prop('checked');
         Nengo.ace.update_trigger = $('#sync-editor').prop('checked');
     });
+    $('#autocomplete').prop('checked', Nengo.config.autocomplete);
+    $('#autocomplete').change(function () {
+        Nengo.ace.editor.setOption("enableLiveAutocompletion", $('#autocomplete').prop('checked'));
+	Nengo.config.autocomplete = $('#autocomplete').prop('checked');
+    });
 
     $('#config-fontsize').val(Nengo.netgraph.font_size);
     $('#config-fontsize').bind('keyup input', function () {