# HG changeset patch # User Olaf Wintermann # Date 1755850764 -7200 # Node ID 71d62990b016a73398d5f8ea21c64f7f1611fb2d # Parent 6fdec085c385c6e672074d113fe4a999ab14ea56 add utility functions for changing button label/icon (GTK) diff -r 6fdec085c385 -r 71d62990b016 ui/gtk/button.c --- 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); diff -r 6fdec085c385 -r 71d62990b016 ui/ui/button.h --- a/ui/ui/button.h Fri Aug 22 10:10:22 2025 +0200 +++ b/ui/ui/button.h Fri Aug 22 10:19:24 2025 +0200 @@ -94,7 +94,8 @@ UIEXPORT UIWIDGET ui_switch_create(UiObject* obj, UiToggleArgs *args); UIEXPORT UIWIDGET ui_radiobutton_create(UiObject* obj, UiToggleArgs *args); - +UIEXPORT void ui_button_set_label(UIWIDGET button, const char *label); +UIEXPORT void ui_button_set_icon(UIWIDGET button, const char *icon); #ifdef __cplusplus