[Bug 1819080] Re: The extension can't be disabled

2019-03-08 Thread Sebastien Bacher
Thank you for your bug report. That's not a bug though but the way the ubuntu session is set up, you can install/log into the gnome stock session if you prefer that experience ** Changed in: gnome-shell-extension-desktop-icons (Ubuntu) Importance: Undecided => Low ** Changed in: gnome-shell-ex

[Bug 1819080] Re: The extension can't be disabled

2019-03-08 Thread Paride Legovini
Just found https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1 which addresses exactly this issue. -- 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