GNOME Bugzilla – Bug 651088
[PATCH] Add a enabled-extensions setting complementing disabled-extensions
Last modified: 2011-05-26 06:17:31 UTC
The patch I'm going to attach implements the new setting org.gnome.shell.enabled-extensions complementing org.gnome.shell.disabled-extensions. If the former is empty (default), only the extensions not contained in the latter are loaded. Else, all extensions in the former that are not contained in the latter are loaded.
Created attachment 188624 [details] [review] Add org.gnome.shell.enabled-extensions complementing disabled-extensions.
also see bug 644463
*** Bug 644463 has been marked as a duplicate of this bug. ***
Review of attachment 188624 [details] [review]: Looks good to me.
For future reference, I tweaked the commit message: * Removed the period at the end, our commit style doesn't have them * Added a body, taken from your bugzilla message commit 33a3b8046d9028dd1e3d3e3f5da526ef087f1692 Author: Tassilo Horn <tassilo@member.fsf.org> Date: Wed May 25 21:34:33 2011 +0200 Add org.gnome.shell.enabled-extensions complementing disabled-extensions If the former is empty (default), only the extensions not contained in the latter are loaded. Else, all extensions in the former that are not contained in the latter are loaded.
(In reply to comment #5) > For future reference, I tweaked the commit message: > > * Removed the period at the end, our commit style doesn't have them > * Added a body, taken from your bugzilla message Ok, I'll keep that in mind for future patches. Thanks a lot for the very quick handling. :-) Bye, Tassilo