--- a/ui/gtk/entry.c Sat Dec 05 17:50:22 2020 +0100
+++ b/ui/gtk/entry.c Sun Dec 06 14:41:37 2020 +0100
@@ -95,6 +95,7 @@
double value = 0;
UiObserver **obs = NULL;
switch(type) {
+ default: break;
case UI_VAR_INTEGER: {
UiInteger *i = var->value;
i->get = ui_spinbutton_getint;