This bug was fixed in the package gnome-shell-extension-desktop-icons - 20.04.0-2
--------------- gnome-shell-extension-desktop-icons (20.04.0-2) unstable; urgency=medium
* debian/patches: Update translations from git * fileItem.js: unselect a file with Ctrl or Shift (LP: #1845491) * general: Fix key symbols (LP: #1844808) * fileItem.js: Refresh thumbnails if file changes (LP: #1879375)
-- Marco Trevisan (Treviño) <email address hidden> Mon, 18 May 2020 20:32:21 +0200
This bug was fixed in the package gnome-shell- extension- desktop- icons - 20.04.0-2
--------------- extension- desktop- icons (20.04.0-2) unstable; urgency=medium
gnome-shell-
* debian/patches: Update translations from git
* fileItem.js: unselect a file with Ctrl or Shift (LP: #1845491)
* general: Fix key symbols (LP: #1844808)
* fileItem.js: Refresh thumbnails if file changes (LP: #1879375)
-- Marco Trevisan (Treviño) <email address hidden> Mon, 18 May 2020 20:32:21 +0200