ui/gtk/button.h

changeset 771
155f8722b927
parent 704
6105e9d9b7e1
child 823
1e1df80772ed
--- 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);
 

mercurial