Re: GNOME Shell and system extensions being part of a mode

[Didier Roche <didrocks ubuntu com>]

Hey everyone,

As there were no additional feedback, I just went ahead and worked 
yesterday and this morning on this.

The result and attached set of patches are attached on 
https://bugzilla.gnome.org/show_bug.cgi?id=789852.
I tried to summarize the various point, minimizing API change and 
implementing correct status reporting in gnome-shell-extension-prefs. I 
gave it some corner cases testing, especially using -prefs and the 
chrome extension to ensure the correct state is reported, trying to 
update a mode extensions, removing it (via the Shell api), and so on.

Let me know if anything needs changing, if we extend more the API so 
that MODE type != can't disable extension (which is already the case in 
the Shell), or if we make this system priority loading optional.

Didier