| commit | 338b289da742c9d043da6993e506384d67c22cf6 | [log] [tgz] |
|---|---|---|
| author | Mitchell Kember <mkember@google.com> | Wed Sep 16 13:15:32 2020 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Sep 16 13:15:32 2020 +0000 |
| tree | dfb039a9ad2a2ca804cd1f18bf99e0549844a381 | |
| parent | 51288d7fe2984527ba86e969c45b89ad20531824 [diff] | |
| parent | 1b896081dfb49a577cadcbd730469f01c0825d03 [diff] |
Merge "Fix Ctrl+Enter bug for VS Code bindings"
diff --git a/frontend/src/evaluator.ts b/frontend/src/evaluator.ts index 9d28ec7..c48902c 100644 --- a/frontend/src/evaluator.ts +++ b/frontend/src/evaluator.ts
@@ -121,6 +121,7 @@ if ((event.ctrlKey || event.metaKey) && event.key === 'Enter') { clearTimeout(idleTimeout); this.run(); + event.stopPropagation(); } };