diff options
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 |