gnome-shell/js
Florian Müllner d3d165243c cleanup: Use non-deprecated key symbols
Clutter originally cluttered its namespace with key symbols, before
prefixing all symbols with KEY. We still use the unprefixed symbols
occasionally, replace them so mutter can drop the deprecated symbols.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/808
2019-11-06 09:42:57 +01:00
..
extensionPrefs cleanup: Use (un)block_signal_handler() convenience wrapper 2019-10-30 19:40:15 +00:00
gdm st: Remove StBin's align properties 2019-11-04 21:27:56 +01:00
misc cleanup: Use more template strings 2019-11-05 01:51:29 +00:00
perf overview: Add OverviewActor and use as main actor of the Overlay 2019-10-16 15:26:13 +00:00
portalHelper cleanup: Use more template strings 2019-11-05 01:51:29 +00:00
ui cleanup: Use non-deprecated key symbols 2019-11-06 09:42:57 +01:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00