Ubuntu
gnome-shell package

  1. Bug #1906919
  2. Comment #15

Comment 15 for bug 1906919

Revision history for this message
8765pu (8765pukxbhc876y-deactivatedaccount) wrote :

So where can one find the desktopManager.js file that would need the fix? I can't find a single mention online of where system bundled gnome extensions are located.