--- a/ui/gtk/button.h Sun Aug 24 15:24:16 2025 +0200 +++ b/ui/gtk/button.h Sat Oct 04 14:52:59 2025 +0200 @@ -96,6 +96,9 @@ void ui_radio_obs(GtkToggleButton *widget, UiVarEventData *event); +int64_t ui_switch_get(UiInteger *value); +void ui_switch_set(UiInteger *value, int64_t i); + int64_t ui_radiobutton_get(UiInteger *value); void ui_radiobutton_set(UiInteger *value, int64_t i);