diff options
Diffstat (limited to 'src/ui/console.c')
-rw-r--r-- | src/ui/console.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/ui/console.c b/src/ui/console.c index 4931a391..cdd8641d 100644 --- a/src/ui/console.c +++ b/src/ui/console.c @@ -141,18 +141,6 @@ cons_bad_show(const char * const msg, ...) } void -cons_bad_command(const char * const cmd) -{ - window_print_time(console, '-'); - wprintw(console->win, "Unknown command: %s\n", cmd); - - dirty = TRUE; - if (!win_current_is_console()) { - status_bar_new(0); - } -} - -void cons_show_typing(const char * const short_from) { window_print_time(console, '-'); |