diff options
author | C. McEnroe | 2020-02-12 19:36:26 -0500 |
---|---|---|
committer | C. McEnroe | 2020-02-12 19:36:26 -0500 |
commit | 7285906298bc6281e7c7ee07d353544fc8e011d2 (patch) | |
tree | db8cfaf48700f31e82eb66c629d0c10168670f15 /ui.c | |
parent | be08880fac556fecf5cc6fbe44eea0be7ec92da7 (diff) |
Hide debug prompt if buffer starts with /
Diffstat (limited to 'ui.c')
-rw-r--r-- | ui.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui.c b/ui.c index e6041cc..b91cb3d 100644 --- a/ui.c +++ b/ui.c @@ -675,7 +675,7 @@ static void inputUpdate(void) { init.attr |= A_ITALIC; prefix = "* "; suffix = " "; rest.attr |= A_ITALIC; - } else if (id == Debug) { + } else if (id == Debug && buf[0] != '/') { skip = buf; init.fg = Gray; prompt = "<< "; |