diff options
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/environment.mu | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/shell/environment.mu b/shell/environment.mu index 1d26b2cf..9d624a1f 100644 --- a/shell/environment.mu +++ b/shell/environment.mu @@ -105,6 +105,13 @@ fn edit-environment _self: (addr environment), key: grapheme, data-disk: (addr d # return } + # ctrl-s: always send to repl + { + compare key, 0x13/ctrl-s + break-if-!= + edit-sandbox sandbox, key, globals, data-disk, 1/tweak-real-screen + return + } # ctrl-g: go to a function (or the repl) { compare key, 7/ctrl-g |