From bfb69eab0e4ad6c537f400a01429f17922737c07 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Fri, 22 Sep 2023 09:31:12 +0100 Subject: [PATCH] Reset gnome-shell app picker layout --- roles/home-gui/files/gnome-setup.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index f066a85..6816ea9 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -158,6 +158,10 @@ set_misc_preferences () { # Prefer the dark theme. gsettings set org.gnome.desktop.interface color-scheme 'prefer-dark' gsettings set org.gnome.desktop.interface gtk-theme 'Adwaita-dark' + + # Reset the app picker layout. Will take effect after a gnome-shell restart + # (log off and on again). + gsettings reset org.gnome.shell app-picker-layout } set_misc_preferences