--- a/ui/gtk/button.c Sat May 02 18:07:12 2026 +0200 +++ b/ui/gtk/button.c Sat May 02 18:13:39 2026 +0200 @@ -153,6 +153,47 @@ ui_button_set_icon_name(button, icon); } +void ui_button_set_tooltip(UIWIDGET button, const char *tooltip) { + gtk_widget_set_tooltip_text(GTK_WIDGET(button), tooltip); +} + +void ui_togglebutton_set_label(UIWIDGET button, const char *label) { + ui_button_set_label(button, label); +} + +void ui_togglebutton_set_icon(UIWIDGET button, const char *icon) { + ui_button_set_icon(button, icon); +} + +void ui_togglebutton_set_tooltip(UIWIDGET button, const char *tooltip) { + ui_button_set_tooltip(button, tooltip); +} + +void ui_checkbox_set_label(UIWIDGET button, const char *label) { + ui_button_set_label(button, label); +} + +void ui_checkbox_set_icon(UIWIDGET button, const char *icon) { + ui_button_set_icon(button, icon); +} + +void ui_checkbox_set_tooltip(UIWIDGET button, const char *tooltip) { + ui_button_set_tooltip(button, tooltip); +} + +void ui_radiobutton_set_label(UIWIDGET button, const char *label) { + ui_button_set_label(button, label); +} + +void ui_radiobutton_set_icon(UIWIDGET button, const char *icon) { + ui_button_set_icon(button, icon); +} + +void ui_radiobutton_set_tooltip(UIWIDGET button, const char *tooltip) { + ui_button_set_tooltip(button, tooltip); +} + + int64_t ui_toggle_button_get(UiInteger *integer) { GtkToggleButton *button = integer->obj; integer->value = (int)gtk_toggle_button_get_active(button);