summary refs log tree commit diff
diff options
context:
space:
mode:
authorC. McEnroe2020-02-12 19:36:26 -0500
committerC. McEnroe2020-02-12 19:36:26 -0500
commit7285906298bc6281e7c7ee07d353544fc8e011d2 (patch)
treedb8cfaf48700f31e82eb66c629d0c10168670f15
parentbe08880fac556fecf5cc6fbe44eea0be7ec92da7 (diff)
Hide debug prompt if buffer starts with /
-rw-r--r--ui.c2
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 = "<< ";