GNOME Bugzilla – Bug 697685
gnome-tweak-tool unable to find prefs.js for extensions installed at the system level
Last modified: 2013-04-10 15:18:19 UTC
Created attachment 241113 [details] [review] Patch to find prefs.js for extensions installed in the system. gnome-tweak-tool would correctly find the prefs.js file for extensions installed in ~/.local/. But extensions installed at the system level in /usr/share or /usr/local/share would have their prefs.js files overlooked. It turns out that extensions include a value for the path to which they are installed which can be used to more consistently find the prefs.js file if it exists. I've attached a patch which takes advantage of this. http://threebean.org/patches/gnome-tweak-tool-use-extension-specific-path-to-find-prefs.js.patch
Thanks a lot.
this would be nice to have for 3.8.1 - the classic mode extensions are installed system-wide, and at least the window-list does have preferences.
Hmm, git bz must have errored before it closed this. Applied to master and the gnome-3-8 branches. This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.
Exciting! Thanks guys.