gnome-shell/js
Sebastian Keller ad34082fd1 popupMenu: Use correct padding for items with hidden ornaments
This also restores the padding adjustments that were erroneously removed
in a0fde0ee, but now they only apply to ornamented items.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2843>
2023-08-01 17:32:53 +00:00
..
dbusServices dbusServices/extensions: Include dir and path in metadata 2023-07-29 15:20:20 +03:00
extensions extensions: Make ExtensionPreferences more flexible 2023-07-30 10:29:44 +03:00
gdm animationUtils: Group together various animation helpers 2023-07-15 02:35:56 +00:00
misc extensionUtils: Split out extension convenience functions 2023-07-15 13:16:42 +02:00
portalHelper portalHelper: Port to ESM 2023-06-21 13:26:42 +02:00
ui popupMenu: Use correct padding for items with hidden ornaments 2023-08-01 17:32:53 +00:00
js-resources.gresource.xml status/backlight: Add new quick toggle 2023-07-30 11:12:50 +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