diff: ui/gtk/button.h
ui/gtk/button.h
- changeset 786
- 150a1180f7ec
- parent 771
- 155f8722b927
- child 823
- 1e1df80772ed
--- a/ui/gtk/button.h Thu Oct 02 14:49:17 2025 +0200 +++ b/ui/gtk/button.h Thu Oct 02 14:49:27 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);
