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....
@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....