@rastersoft-gmail

Sergio, what are the full steps involved in trying this patch?  I tried
to just download the new file desktopManager.js from your link and then
replaced the file in the path "/usr/share/gnome-shell/extensions
/desktop-icons@csoriano".  I restarted and then I get an error in the
extension saying it couldn't be loaded....

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1883174

Title:
  Some desktop icons disappear

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell-extension-desktop-icons/+bug/1883174/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to