gnome-shell/js
Jonas Dreßler 2a8ea4886e overviewControls: Allocate a bit more space for the dash
We want the dash to show the larger icons as often as possible, and giving
it a height of 16% instead of 15% helps with that on common screen
resolutions.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>
2024-05-14 18:24:07 +00:00
..
dbusServices screencast: Correct expected bus name for streams 2024-05-07 13:54:19 +01:00
extensions extensions: Fix ngettext convenience 2023-09-15 21:41:30 +00:00
gdm general: Remove periods from single sentences 2024-04-24 13:58:01 +02:00
misc js: Update for Gio/GioUnix split 2024-04-29 16:48:07 +02:00
portalHelper portalHelper: Fix handling of invalid TLS certificates 2024-04-25 19:33:09 +02:00
ui overviewControls: Allocate a bit more space for the dash 2024-05-14 18:24:07 +00:00
js-resources.gresource.xml components: Drop telepathy client 2024-03-03 01:33:16 +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/portal-resources: Add missing fileUtils to js path 2022-11-03 18:02:27 +00:00