From 373e857e0f327709260e8a20224b44f7793111bd Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 7 Dec 2021 16:01:28 +0000 Subject: [PATCH] Disable hot-corners again, as dock is enabled --- roles/home-gui/files/gnome-setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index c1db59c..1669cd9 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -122,8 +122,8 @@ set_misc_preferences () { # Stop dialogue boxes from 'sticking' to their parent windows. gsettings set org.gnome.mutter attach-modal-dialogs false - # Enable hot-corners. - gsettings set org.gnome.desktop.interface enable-hot-corners true + # Disable hot-corners. + gsettings set org.gnome.desktop.interface enable-hot-corners false # Set a background colour for when a wallpaper is not available. gsettings set org.gnome.desktop.background primary-color '#023c88'