From a1951eadbe38b08050b5308a1b1609cfa1fa1629 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Mon, 24 Jun 2024 06:51:50 +0100 Subject: [PATCH] Enable hot-corners --- 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 32d7ddf..a0c9a8f 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -141,8 +141,8 @@ set_misc_preferences () { # Stop dialogue boxes from 'sticking' to their parent windows. gsettings set org.gnome.mutter attach-modal-dialogs false - # Disable hot-corners. - gsettings set org.gnome.desktop.interface enable-hot-corners false + # Enable hot-corners. + gsettings set org.gnome.desktop.interface enable-hot-corners true # Configure fonts. gsettings reset org.gnome.desktop.interface document-font-name