diff options
| author | Marvin Borner | 2021-04-26 19:25:17 +0200 |
|---|---|---|
| committer | Marvin Borner | 2021-04-26 19:25:17 +0200 |
| commit | 5fdd1e5c0112db4c0c8646cc8fbc629bdb83355c (patch) | |
| tree | 34179f19326df235588cb0398bf5271ec0dd58b4 /src/inc/gui.h | |
| parent | d0ca7ba7dc479691ecb0f794293c3bb8613a8521 (diff) | |
OK
Diffstat (limited to 'src/inc/gui.h')
| -rw-r--r-- | src/inc/gui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/inc/gui.h b/src/inc/gui.h index db68fee..128a703 100644 --- a/src/inc/gui.h +++ b/src/inc/gui.h @@ -8,6 +8,7 @@ void gui_show_warning(const char *text); void gui_show_info(const char *text); 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 |