Jakub Steiner 7efd63e2ee multitasking: no more rounded top bar ...

- update the look of the top bar not to have the rounding of <GNOME 41

Fixes https://gitlab.gnome.org/GNOME/gnome-control-center/-/issues/1656

2022-02-28 10:44:07 +00:00

1 line

No EOL

3.2 KiB

XML

Raw Blame History