--- a/ui/gtk/button.c Sun Sep 15 20:19:52 2024 +0200 +++ b/ui/gtk/button.c Sun Sep 15 20:59:48 2024 +0200 @@ -112,13 +112,13 @@ gtk_toggle_button_set_active(button, value != 0 ? TRUE : FALSE); } -void ui_toggled_obs(GtkToggleToolButton *widget, UiVarEventData *event) { +void ui_toggled_obs(GtkToggleButton *widget, UiVarEventData *event) { UiEvent e; e.obj = event->obj; e.window = event->obj->window; e.document = event->obj->ctx->document; e.eventdata = event->var->value; - e.intval = gtk_toggle_tool_button_get_active(widget); + e.intval = gtk_toggle_button_get_active(widget); UiInteger *i = event->var->value; ui_notify_evt(i->observers, &e);