diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-06-04 22:05:51 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-06-04 22:05:51 -0700 |
| commit | 65e414911feb9262fc2ae2ed397a157decaaf17e (patch) | |
| tree | 7be622f6f1ce45f182dc37389b0e64adeb65adbc /shell | |
| parent | 4975bc82dfc71fe113b61c7d2448919d8a52c834 (diff) | |
| download | mu-65e414911feb9262fc2ae2ed397a157decaaf17e.tar.gz | |
run sandbox even when cursor in function
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 |