--- a/ui/gtk/entry.h	Mon Feb 12 21:13:23 2024 +0100
+++ b/ui/gtk/entry.h	Sun Jun 09 15:43:08 2024 +0200
@@ -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);