From 83847e9f0a9994f591ac1547cdb5e44be6c41eec Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 1 May 2021 16:20:44 -0700 Subject: [PATCH] . Clean up menus. --- shell/sandbox.mu | 6 +++--- shell/trace.mu | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/shell/sandbox.mu b/shell/sandbox.mu index 4d5286b0..09b88e6d 100644 --- a/shell/sandbox.mu +++ b/shell/sandbox.mu @@ -421,11 +421,11 @@ fn render-sandbox-menu screen: (addr screen), _self: (addr sandbox) { compare has-trace?, 0/false { break-if-= - draw-text-rightward-from-cursor screen, " m ", width, 0/fg, 9/bg=blue + draw-text-rightward-from-cursor screen, " m ", width, 0/fg, 0x38/bg=trace draw-text-rightward-from-cursor screen, " to trace ", width, 7/fg, 0xc5/bg=blue-bg break $render-sandbox-menu:render-ctrl-m } - draw-text-rightward-from-cursor screen, " m ", width, 0/fg, 0x18/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 } draw-text-rightward-from-cursor screen, " a ", width, 0/fg, 0x5c/bg=black @@ -453,7 +453,7 @@ fn render-keyboard-menu screen: (addr screen) { draw-text-rightward-from-cursor screen, " run main ", width, 7/fg, 0xc5/bg=blue-bg draw-text-rightward-from-cursor screen, " 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, " m ", width, 0/fg, 3/bg=cyan + draw-text-rightward-from-cursor screen, " m ", width, 0/fg, 7/bg draw-text-rightward-from-cursor screen, " to sandbox ", width, 7/fg, 0xc5/bg=blue-bg } diff --git a/shell/trace.mu b/shell/trace.mu index 5284c512..12285704 100644 --- a/shell/trace.mu +++ b/shell/trace.mu @@ -689,7 +689,7 @@ fn render-trace-menu screen: (addr screen) { 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, 0x18/bg=keyboard + draw-text-rightward-from-cursor screen, " ctrl-m ", width, 0/fg, 3/bg=keyboard draw-text-rightward-from-cursor screen, " to keyboard ", width, 7/fg, 0xc5/bg=blue-bg draw-text-rightward-from-cursor screen, " j ", width, 0/fg, 0x5c/bg=black draw-text-rightward-from-cursor screen, " down ", width, 7/fg, 0xc5/bg=blue-bg