[gnome] update extensions for new GLS

This commit is contained in:
Philip Mueller 2023-07-10 09:55:07 +02:00
parent d8528d68b2
commit 272a0bcfd1

View file

@ -180,11 +180,12 @@ gnome-tweaks
>extra gnome-shell-extension-custom-accent-colors >extra gnome-shell-extension-custom-accent-colors
>extra gnome-shell-extension-dash-to-dock >extra gnome-shell-extension-dash-to-dock
>extra gnome-shell-extension-dash-to-panel >extra gnome-shell-extension-dash-to-panel
>extra gnome-shell-extension-forge
>extra gnome-shell-extension-gtk4-desktop-icons-ng >extra gnome-shell-extension-gtk4-desktop-icons-ng
>extra gnome-shell-extension-gnome-ui-tune >extra gnome-shell-extension-gnome-ui-tune
>extra gnome-shell-extension-gsconnect >extra gnome-shell-extension-gsconnect
>extra gnome-shell-extension-legacy-theme-auto-switcher >extra gnome-shell-extension-legacy-theme-auto-switcher
>extra gnome-shell-extension-material-shell >extra gnome-shell-extension-space-bar
>extra gnome-shell-extension-x11gestures >extra gnome-shell-extension-x11gestures