gnome-shell/js
Jonas Ådahl 8a1c0f3a42 main: Inhibit animations when there is a remote desktop session
If a remote desktop session asks for animations to be disabled, inhibit
animations while the session is active.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/757
2020-02-20 11:14:55 +00:00
..
extensionPrefs extensionPrefs: Fix more fallout from un-templating strings 2020-02-19 19:29:21 +01:00
gdm authPrompt: Fix cancel button visibility 2020-02-18 21:34:16 +00:00
misc introspect: Add helper to check method call permission 2020-02-20 11:14:55 +00:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui main: Inhibit animations when there is a remote desktop session 2020-02-20 11:14:55 +00:00
js-resources.gresource.xml swipeTracker: Introduce swipe tracker 2020-01-10 18:20:22 +01: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 extensionPrefs: Move description into a expander 2020-02-03 19:11:21 +01:00