about summary refs log tree commit diff stats
path: root/shell
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2021-06-04 22:05:51 -0700
committerKartik K. Agaram <vc@akkartik.com>2021-06-04 22:05:51 -0700
commit65e414911feb9262fc2ae2ed397a157decaaf17e (patch)
tree7be622f6f1ce45f182dc37389b0e64adeb65adbc /shell
parent4975bc82dfc71fe113b61c7d2448919d8a52c834 (diff)
downloadmu-65e414911feb9262fc2ae2ed397a157decaaf17e.tar.gz
run sandbox even when cursor in function
Diffstat (limited to 'shell')
-rw-r--r--shell/environment.mu7
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