Florian Müllner 1c63893c4b extensionPrefs: Override getCurrentExtension() for extensions ... Extensions are used to calling the getCurrentExtension() utility function, both from the extension itself and from its preferences. For the latter, that relies on the extensions map in ExtensionUtils being populated from the separated extension-prefs process just like from gnome-shell. This won't be the case anymore when we switch to the extensions D-Bus API, but as we know which extension we are showing the prefs dialog for, we can patch in a simple replacement that gives extensions the expected API. https://bugzilla.gnome.org/show_bug.cgi?id=789852		2019-07-20 14:17:35 +00:00
..
main.js	extensionPrefs: Override getCurrentExtension() for extensions	2019-07-20 14:17:35 +00:00