diff options
author | LarsVomMars | 2021-04-27 15:27:27 +0200 |
---|---|---|
committer | LarsVomMars | 2021-04-27 15:27:27 +0200 |
commit | 60e7b5069d5936546356053f85008a5a02bb473a (patch) | |
tree | 72e30bf504bccc15f18f29fa2344bd22324b4267 /src/inc | |
parent | efbbd5533e2d66dcfb6d360792793f23a8f4dd05 (diff) |
lol
Diffstat (limited to 'src/inc')
-rw-r--r-- | src/inc/gui.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/inc/gui.h b/src/inc/gui.h index 8270623..39918ca 100644 --- a/src/inc/gui.h +++ b/src/inc/gui.h @@ -8,7 +8,8 @@ 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_add_line_marker(u32 line_number, const char *message, const char *name, const char *category, const char *icon, GdkRGBA rgba); +void gui_remove_line_marker(const char *category); void gui_unhighlight(void); void gui_unhighlight_name(const char *tag_name); |