GB_2 4525ad346d windowMenu: Animate menu ... Most menus have an animation, so add one to the window menu for consistency and better looks (like !712). https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/717		2019-09-12 16:01:46 +00:00
..
extensionPrefs	extensionPrefs: Block notify::active signal handler while updating state	2019-09-09 19:50:31 +00:00
gdm	realmd: Set login format to null on start and update if invalid	2019-09-09 19:28:18 +00:00
misc	extensionUtils: Check version variable for undefined first	2019-09-12 10:24:49 +00:00
perf	perf: Shut up another eslint error	2019-07-24 00:28:45 +02:00
portalHelper	cleanup: Mark globals used from other modules as exported	2019-07-24 00:28:45 +02:00
ui	windowMenu: Animate menu	2019-09-12 16:01:46 +00: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