--- a/ui/gtk/button.h Wed Sep 17 18:22:47 2025 +0200 +++ b/ui/gtk/button.h Thu Sep 18 21:04:49 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);