I'm really consciencous that the content is a little bit dense, but I
wanted to lay out the problems and thinking I had gone through when
getting into it. Talking with csoriano, I think I came up with a nice
summary for this proposal:
Extensions enabled by a mode are part of the shell itself. The distro
will, in that session, prefer loading the system installed version over
user's downloaded one.
I hope that clears out the discussion :)
Then, from this, we can talk about Tweaks and other Shell API…
Didier
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
