gnome-shell/js
Didier Roche ce1bee727a extensionSystem: Allow disabling session mode extensions
Trying to disable an extension that is enabled by the session mode
currently has no effect, which is clearly confusing. We could update
the various extension UIs to reflect that via sensitivity, but being
unable to configure extensions based on which session the user picked
at login isn't obvious either.

So instead, add a 'disabled-extensions' gsettings key to list extensions
that should not be enabled which takes precedence over 'enabled-extensions'
and can be used to disable session mode extensions.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
2019-07-20 14:17:35 +00:00
..
extensionPrefs extensionPrefs: Switch to D-Bus API to get extension live state 2019-07-20 14:17:35 +00:00
gdm cleanup: Prefer template strings 2019-07-05 11:32:31 +00:00
misc extensionSystem: Store extensions in a Map 2019-07-20 14:17:35 +00:00
perf cleanup: Prefer template strings 2019-07-05 11:32:31 +00:00
portalHelper style: Stop using braces for single-line arrow functions 2019-07-02 12:17:46 +00:00
ui extensionSystem: Allow disabling session mode extensions 2019-07-20 14:17:35 +00:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00