--- a/ui/gtk/button.c Fri Aug 22 10:10:22 2025 +0200 +++ b/ui/gtk/button.c Fri Aug 22 10:19:24 2025 +0200 @@ -120,6 +120,14 @@ event->callback(&e, event->userdata); } +void ui_button_set_label(UIWIDGET button, const char *label) { + gtk_button_set_label(GTK_BUTTON(button), label); +} + +void ui_button_set_icon(UIWIDGET button, const char *icon) { + ui_button_set_icon_name(button, icon); +} + int64_t ui_toggle_button_get(UiInteger *integer) { GtkToggleButton *button = integer->obj; integer->value = (int)gtk_toggle_button_get_active(button);