diff options
Diffstat (limited to 'src/ui')
-rw-r--r-- | src/ui/core.c | 7 | ||||
-rw-r--r-- | src/ui/ui.h | 1 |
2 files changed, 0 insertions, 8 deletions
diff --git a/src/ui/core.c b/src/ui/core.c index 3cb05fe8..569425f9 100644 --- a/src/ui/core.c +++ b/src/ui/core.c @@ -539,12 +539,6 @@ _ui_invalid_command_usage(const char * const usage, void (**setting_func)(void)) } static void -_ui_unknown_command(const char * const input) -{ - cons_show("Unknown command: %s", input); -} - -static void _ui_disconnected(void) { wins_lost_connection(); @@ -1921,5 +1915,4 @@ ui_init_module(void) ui_input_nonblocking = _ui_input_nonblocking; ui_replace_input = _ui_replace_input; ui_invalid_command_usage = _ui_invalid_command_usage; - ui_unknown_command = _ui_unknown_command; } diff --git a/src/ui/ui.h b/src/ui/ui.h index fc689305..a528b390 100644 --- a/src/ui/ui.h +++ b/src/ui/ui.h @@ -160,7 +160,6 @@ void (*ui_input_nonblocking)(void); void (*ui_replace_input)(char *input, const char * const new_input, int *size); void (*ui_invalid_command_usage)(const char * const usage, void (**setting_func)(void)); -void (*ui_unknown_command)(const char * const input); // console window actions void (*cons_show)(const char * const msg, ...); |