Florian Müllner 6bcb4f310f popupMenu: Hide ornament by default ... We have always defaults to an empty ornament, so that menu items are always aligned, even when radio items are used. However radio items are fairly rare, so most of the time we end up with an extra margin with no purpose. The design team now prefers radio items to only align with each other, so that regular items get the expected margin. Change the defaults accordingly. 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: Hide ornament by default	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