From efbbd5533e2d66dcfb6d360792793f23a8f4dd05 Mon Sep 17 00:00:00 2001 From: LarsVomMars Date: Tue, 27 Apr 2021 14:59:48 +0200 Subject: Add linemarkers --- src/inc/gui.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/inc') diff --git a/src/inc/gui.h b/src/inc/gui.h index 128a703..8270623 100644 --- a/src/inc/gui.h +++ b/src/inc/gui.h @@ -2,11 +2,14 @@ #define GUI_H #include +#include int gui_init(int argc, char *argv[]); void gui_show_warning(const char *text); void gui_show_info(const char *text); +void gui_add_line_marker(int line_number, const char *message, const char *category, const char *icon, GdkRGBA rgba); + void gui_unhighlight(void); void gui_unhighlight_name(const char *tag_name); void gui_highlight(u32 column, u32 line, u32 length, const char *color); -- cgit v1.2.3