--- a/ui/gtk/entry.h	Sun Feb 25 21:57:49 2024 +0100
+++ b/ui/gtk/entry.h	Mon Feb 26 21:37:56 2024 +0100
@@ -22,7 +22,6 @@
 extern "C" {
 #endif
 
-UIWIDGET ui_spinner_var(UiObject *obj, double step, int digits, UiVar *var, UiVarType type);
 void ui_spinner_changed(GtkSpinButton *spinner, UiVarEventData *event);
 
 int64_t ui_spinbutton_getint(UiInteger *i);