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