Sorry, the patch is at https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/-/merge_requests/166
Sorry, the patch is at https:/ /gitlab. gnome.org/ World/ShellExte nsions/ desktop- icons/- /merge_ requests/ 166