diff options
Diffstat (limited to 'desktop/gui.h')
| -rw-r--r-- | desktop/gui.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index 141e82af5..596587631 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -67,7 +67,10 @@ typedef enum { GUI_POINTER_DEFAULT, GUI_POINTER_POINT, GUI_POINTER_CARET, #include "desktop/search.h" #include "utils/errors.h" -void gui_stdout(void); +/** \todo remove these when each frontend calls nslog_init */ +#include <stdio.h> +bool nslog_ensure(FILE *fptr); + void gui_multitask(void); void gui_poll(bool active); void gui_quit(void); |