This bug was fixed in the package gnome-shell-extension-desktop-icons - 20.04.0-2~ubuntu20.04.1
--------------- gnome-shell-extension-desktop-icons (20.04.0-2~ubuntu20.04.1) focal; urgency=medium * Backport to focal * debian/control: Set ubuntu developers as maintainers * debian/{control*,gbp.conf}: Adapt to focal branching 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) <ma...@ubuntu.com> Tue, 19 May 2020 14:17:45 +0200 ** Changed in: gnome-shell-extension-desktop-icons (Ubuntu Focal) Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-desktop-icons in Ubuntu. https://bugs.launchpad.net/bugs/1879375 Title: Images thumbnails doesn't update on image changes To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-desktop-icons/+bug/1879375/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs