From 5fdd1e5c0112db4c0c8646cc8fbc629bdb83355c Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 26 Apr 2021 19:25:17 +0200
Subject: OK

---
 src/inc/gui.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/inc/gui.h')

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
-- 
cgit v1.2.3