--- a/ui/gtk/image.c Wed Dec 09 11:33:00 2020 +0100 +++ b/ui/gtk/image.c Thu Dec 10 13:43:25 2020 +0100 @@ -47,7 +47,7 @@ // **** deprecated functions **** -GdkPixbuf* ui_get_image(char *name) { +GdkPixbuf* ui_get_image(const char *name) { UiImage *img = ucx_map_cstr_get(image_map, name); if(img) { return img->pixbuf;