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