On Wed, 25 Oct 2017, at 15:51, Jason DeRose wrote: > What one user calls "supported" another calls "stale". Just because a session > enables an extension doesn't necessarily mean the user wants the old version > of the extension.
He can use the vanilla GNOME session then. > (I don't like that the user can't disable the session-enabled extensions, > anyway [...] He can: By switching to a different session. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
