diff -r b943e3d618f0 -r 150a1180f7ec ui/gtk/button.h
--- 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);