Add autocompletion to hotkey list.

nengo · Apr 20, 2018 · 56405ee · 56405ee
1 parent f8ca57e
commit 56405ee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/nengo_gui/static/modal.js b/nengo_gui/static/modal.js
@@ -166,6 +166,8 @@ Nengo.Modal.prototype.help_body = function() {
                  '<td align="right">' + ctrl + '-m</td></tr>');
     $body.append('<tr><td>Toggle editor</td>'+
                  '<td align="right">' + ctrl + '-e</td></tr>');
+    $body.append('<tr><td>Trigger autocompletion</td>'+
+                 '<td align="right">' + ctrl + '-Spacebar</td></tr>');
     $body.append('<tr><td>Update display</td>'+
                  '<td align="right">' + ctrl + '-1</td></tr>'); //TODO: possibly pick a better shortcut key
     $body.append('<tr><td>Toggle auto-update</td>'+