OK, I've proposed a fix for the root cause here:
https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/-/merge_requests/191
but it still scares me how easily StBin failed to notice such a mistake so I might also add some error checking in gnome-shell to prevent similar mistakes going unnoticed.
OK, I've proposed a fix for the root cause here:
https:/ /gitlab. gnome.org/ World/ShellExte nsions/ desktop- icons/- /merge_ requests/ 191
but it still scares me how easily StBin failed to notice such a mistake so I might also add some error checking in gnome-shell to prevent similar mistakes going unnoticed.