diff options
author | Marvin Borner | 2021-08-29 13:54:31 +0200 |
---|---|---|
committer | Marvin Borner | 2021-08-29 13:54:31 +0200 |
commit | eef250dd4a0ae185a8d9d668f020b2ab5c2f4849 (patch) | |
tree | e55aca9bfe918c5673ef925cdf373fdff68faafd /src/inc/gui.h | |
parent | 7c047df78502d53411fef09c6e39540d2b7e796a (diff) |
Start x86 rewrite
Diffstat (limited to 'src/inc/gui.h')
-rw-r--r-- | src/inc/gui.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/inc/gui.h b/src/inc/gui.h deleted file mode 100644 index 39918ca..0000000 --- a/src/inc/gui.h +++ /dev/null @@ -1,18 +0,0 @@ -#ifndef GUI_H -#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(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); -void gui_highlight(u32 column, u32 line, u32 length, const char *color); - -#endif |