diff options
Diffstat (limited to 'desktop/gui.h')
-rw-r--r-- | desktop/gui.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index df3ed5ad9..f6a87004d 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -62,6 +62,6 @@ void gui_window_place_caret(gui_window *g, int x, int y, int height); void gui_launch_url(char *url); -void warn_user(const char *warning); +void warn_user(const char *warning, const char *detail); #endif |