gnome-shell/js
Florian Müllner 5e4b65d37e workspacesView: Use work area for default geometry
The workspace's layout manager keeps the workspace at the same ratio as
the work area, so it makes more sense to base the views' default geometry
on that as well than the monitor area we are using right now.

(It shouldn't matter much in practice, as this only affects views on
non-primary monitors where the work area usually matches the monitor area)

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1345
2020-07-07 00:06:53 +02:00
..
dbusServices notificationDaemon: Fix grouping by PID 2020-05-19 08:24:07 +00:00
gdm gdm: Introduce vmware credential manager for pre-authenticated logins 2020-07-04 08:11:49 +08:00
misc util: Remove unused class CloseButton 2020-06-11 20:49:31 +02: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 workspacesView: Use work area for default geometry 2020-07-07 00:06:53 +02:00
js-resources.gresource.xml gdm: Introduce vmware credential manager for pre-authenticated logins 2020-07-04 08:11:49 +08: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