--- a/ui/gtk/image.c Tue Dec 08 15:19:31 2020 +0100 +++ b/ui/gtk/image.c Thu Dec 10 13:42: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;