Jonas Dreßler 4582d7a183 workspace: Remove no longer valid comment ... This comment is no longer correct, we're not inserting any actors here to adjust for the window border, but we're modifying the allocation of the children to adjust for that border. Since that happens in the layout manager anyway, remove the comment here. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1297		2020-06-04 17:40:09 +00:00
..
dbusServices	notificationDaemon: Fix grouping by PID	2020-05-19 08:24:07 +00:00
gdm	Remove ClutterAllocationFlags	2020-05-20 15:12:03 +02:00
misc	systemActions: Use 'system-log-out-symbolic' for logout	2020-05-07 19:19:32 +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	workspace: Remove no longer valid comment	2020-06-04 17:40:09 +00:00
js-resources.gresource.xml	js: Drop tweener.js	2020-04-15 13:25:14 +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