diff -r b70e2a77dea0 -r 1d912f78fd1d ui/gtk/entry.c --- 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;