--- a/ui/gtk/button.h	Wed Dec 09 11:33:00 2020 +0100
+++ b/ui/gtk/button.h	Thu Dec 10 13:43: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);