about summary refs log tree commit diff stats
path: root/shell/trace.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2021-05-23 22:18:51 -0700
committerKartik K. Agaram <vc@akkartik.com>2021-05-23 22:18:51 -0700
commit7fa01639419f244f2f7387967ab72aa6c52bd2fe (patch)
tree9b7c99c51845eed37c6d68179b628603429ac857 /shell/trace.mu
parentd3103378c5f4d52f7f5833583defe1a76bccac4d (diff)
downloadmu-7fa01639419f244f2f7387967ab72aa6c52bd2fe.tar.gz
disable ctrl-s when browsing trace
We're soon going to be dynamically rerunning the sandbox in other ways
when browsing the trace.
Diffstat (limited to 'shell/trace.mu')
-rw-r--r--shell/trace.mu10
1 files changed, 6 insertions, 4 deletions
diff --git a/shell/trace.mu b/shell/trace.mu
index a97d14d3..30a11582 100644
--- a/shell/trace.mu
+++ b/shell/trace.mu
@@ -791,14 +791,16 @@ fn render-trace-menu screen: (addr screen) {
   width, height <- screen-size screen
   var y/ecx: int <- copy height
   y <- decrement
+  var height/edx: int <- copy y
+  height <- increment
+  clear-rect screen, 0/x, y, width, height, 0xc5/bg=blue-bg
   set-cursor-position screen, 0/x, y
   draw-text-rightward-from-cursor screen, " enter/bksp ", width, 0/fg, 0x5c/bg=black
   draw-text-rightward-from-cursor screen, " expand/collapse  ", width, 7/fg, 0xc5/bg=blue-bg
-  draw-text-rightward-from-cursor screen, " ctrl-r ", width, 0/fg, 0x5c/bg=black
+  draw-text-rightward-from-cursor screen, " ctrl+... ", width, 0xf/fg, 0xc5/bg=blue-bg
+  draw-text-rightward-from-cursor screen, " r ", width, 0/fg, 0x5c/bg=black
   draw-text-rightward-from-cursor screen, " run main  ", width, 7/fg, 0xc5/bg=blue-bg
-  draw-text-rightward-from-cursor screen, " ctrl-s ", width, 0/fg, 0x5c/bg=black
-  draw-text-rightward-from-cursor screen, " run sandbox  ", width, 7/fg, 0xc5/bg=blue-bg
-  draw-text-rightward-from-cursor screen, " ctrl-m ", width, 0/fg, 3/bg=keyboard
+  draw-text-rightward-from-cursor screen, " m ", width, 0/fg, 3/bg=keyboard
   draw-text-rightward-from-cursor screen, " to keyboard  ", width, 7/fg, 0xc5/bg=blue-bg
 }