diff options
author | Marvin Borner | 2021-04-22 21:26:39 +0200 |
---|---|---|
committer | Marvin Borner | 2021-04-22 21:26:39 +0200 |
commit | 3f745223b871390a92791f3c04fd703a5a66de38 (patch) | |
tree | fc591f25ad14a0855b61ecf2c3e321cf4f28429b /src/inc | |
parent | 825034a089901a58dd62b5a39f4c24761b6d5b4c (diff) |
Added unhighlighter
Diffstat (limited to 'src/inc')
-rw-r--r-- | src/inc/gui.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/inc/gui.h b/src/inc/gui.h index aa059e5..db68fee 100644 --- a/src/inc/gui.h +++ b/src/inc/gui.h @@ -6,6 +6,8 @@ int gui_init(int argc, char *argv[]); void gui_show_warning(const char *text); void gui_show_info(const char *text); + +void gui_unhighlight(void); void gui_highlight(u32 column, u32 line, u32 length, const char *color); #endif |