Florian Müllner 7f6e2ff36b extensions-tool: Use OpenExtensionPrefs() method ...

LaunchExtensionPrefs() was deprecated in commit fda938175e,
so switch to the replacement.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1097

2020-03-22 15:31:07 +01:00

..

extensions-tool

extensions-tool: Use OpenExtensionPrefs() method

2020-03-22 15:31:07 +01:00

gvc @ ec5cf3e0de

gvc: Update submodule

2019-11-23 15:16:51 +01:00