ui/gtk/button.h

changeset 110
c00e968d018b
parent 109
c3dfcb8f0be7
child 112
c3f2f16fa4b8
--- 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);
 

mercurial