gnome-shell/js
Florian Müllner 56d0b6d831 extensionSystem: Check metadata types
We currently check that an extension provides required metadata
properties, but then assume that all properties have the expected
type.

It turns out that this is putting too much trust in extensions,
so add an appropriate check.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5347

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2272>
2022-04-21 08:16:30 +00:00
..
dbusServices Specify API versions for all public GIR APIs, except GLib 2022-04-04 17:55:25 +01:00
gdm js: Use (dis)connectObject() 2022-03-04 14:14:37 +00:00
misc introspect: Add WindowsChanged signal 2022-03-08 16:31:20 +00:00
perf cleanup: Use new indentation style for object literals 2022-02-23 12:23:52 +00:00
portalHelper Specify API versions for all public GIR APIs, except GLib 2022-04-04 17:55:25 +01:00
ui extensionSystem: Check metadata types 2022-04-21 08:16:30 +00:00
js-resources.gresource.xml signalTracker: Provide monkey-patching for (dis)connectObject() 2022-03-04 14:14:37 +00:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00