aboutsummaryrefslogtreecommitdiff
path: root/src/inc
diff options
context:
space:
mode:
authorLarsVomMars2021-04-27 14:59:48 +0200
committerLarsVomMars2021-04-27 14:59:48 +0200
commitefbbd5533e2d66dcfb6d360792793f23a8f4dd05 (patch)
tree4e56aa769ed5728c3718725230008e9372ebd6d7 /src/inc
parent5fdd1e5c0112db4c0c8646cc8fbc629bdb83355c (diff)
Add linemarkers
Diffstat (limited to 'src/inc')
-rw-r--r--src/inc/gui.h3
1 files changed, 3 insertions, 0 deletions
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 <def.h>
+#include <gtk/gtk.h>
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);