gnome-shell/js
Florian Müllner 082eedd968 workspacesView: Decrease workspaces size on external monitors
Now that the backgrounds was moved into workspaces, the fullscreen
views on secondary monitors are visually inconsistent with the
primary view, as there's no dash or search entry that reduces the
available height and allows adjacent workspaces to peek in.

Address this by adding padding above and below the view, so that
it is limited to 70% of the available height.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1735>
2021-03-02 21:56:30 +00:00
..
dbusServices dbusServices/screencast: Use GTK4 2021-01-25 21:09:22 +01:00
gdm gdm: Override any other lower-priority service message on error 2021-02-16 18:00:10 +00:00
misc extensionUtils: Simplify version check 2021-02-26 23:06:40 +01:00
perf perf: Add basic run tests 2020-08-12 15:43:39 +00:00
portalHelper js: Require Soup 2.4 2021-02-26 12:28:21 +00:00
ui workspacesView: Decrease workspaces size on external monitors 2021-03-02 21:56:30 +00:00
js-resources.gresource.xml Rename ViewSelector to SearchController 2021-02-11 21:14:36 +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