From 7285906298bc6281e7c7ee07d353544fc8e011d2 Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Wed, 12 Feb 2020 19:36:26 -0500
Subject: [PATCH] Hide debug prompt if buffer starts with /

---
 ui.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 = "<< ";