Florian Müllner 3f8bd1db25 extensions-app: Do not expand headerbar switch ... https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2563		2020-04-03 15:47:01 +02:00
..
extension-row.ui
extensions-window.ui	extensions-app: Do not expand headerbar switch	2020-04-03 15:47:01 +02:00