From 1e254151b13dbba244a2c8982c4e160a67f7b41b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 13 Jun 2019 14:40:56 +0000
Subject: [PATCH] schemas: Add 'enable-hot-corners' setting

Whether people love or hate gnome-shell's hot corner depends to large
extents on hardware sensitivity and habits, which is hard to get right
universally. So bite the bullet and add an option to enable or disable
hot corners ...

https://gitlab.gnome.org/GNOME/gsettings-desktop-schemas/merge_requests/26
---
 schemas/org.gnome.desktop.interface.gschema.xml.in | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/schemas/org.gnome.desktop.interface.gschema.xml.in b/schemas/org.gnome.desktop.interface.gschema.xml.in
index 22ef50d..1e47888 100644
--- a/schemas/org.gnome.desktop.interface.gschema.xml.in
+++ b/schemas/org.gnome.desktop.interface.gschema.xml.in
@@ -228,6 +228,14 @@
         If true, display weekday in the clock, in addition to time.
       </description>
     </key>
+    <key name="enable-hot-corners" type="b">
+      <default>true</default>
+      <summary>Enable hot corners</summary>
+      <description>
+        If true, the activities overview can be accessed by moving the
+        mouse to the top-left corner.
+      </description>
+    </key>
     <key name="show-battery-percentage" type="b">
       <default>false</default>
       <summary>Show battery percentage</summary>
-- 
2.21.0