diff -r 1ecc1183f046 -r 3fc287f06305 ui/common/properties.c --- a/ui/common/properties.c Sun Feb 11 15:59:56 2024 +0100 +++ b/ui/common/properties.c Mon Feb 12 17:32:02 2024 +0100 @@ -57,7 +57,7 @@ } char* ui_configfile(char *name) { - char *appname = ui_appname(); + const char *appname = ui_appname(); if(!appname) { return NULL; }