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
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list