diff -r 6e48030cf2db -r 161511838ea6 ui/gtk/button.h
--- a/ui/gtk/button.h	Tue Dec 08 15:19:31 2020 +0100
+++ b/ui/gtk/button.h	Thu Dec 10 13:42:25 2020 +0100
@@ -39,7 +39,6 @@
 
 // event wrapper
 void ui_button_clicked(GtkWidget *widget, UiEventData *event);
-void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event);
 
 
 void ui_toggled_obs(GtkToggleToolButton *widget, UiVarEventData *event);