Thank you for your bug report, indeed that's still an issue on 19.10, it should also be submitted upstream on https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/issues if you maybe want to do that
Thank you for your bug report, indeed that's still an issue on 19.10, it should also be submitted upstream on https:/ /gitlab. gnome.org/ World/ShellExte nsions/ desktop- icons/issues if you maybe want to do that