diff -r fcacc15a2ef2 -r ea89bbb0c4c8 ui/gtk/button.c
--- a/ui/gtk/button.c	Wed Dec 09 11:33:00 2020 +0100
+++ b/ui/gtk/button.c	Thu Dec 10 13:43:25 2020 +0100
@@ -74,16 +74,6 @@
     event->callback(&e, event->userdata);
 }
 
-void ui_button_toggled(GtkToggleToolButton *widget, UiEventData *event) {
-    UiEvent e;
-    e.obj = event->obj;
-    e.window = event->obj->window;
-    e.document = event->obj->ctx->document;
-    e.eventdata = NULL;
-    e.intval = gtk_toggle_tool_button_get_active(widget);
-    event->callback(&e, event->userdata);
-}
-
 int64_t ui_toggle_button_get(UiInteger *integer) {
     GtkToggleButton *button = integer->obj;
     integer->value = (int)gtk_toggle_button_get_active(button);