[gsettings-desktop-schemas/optional-hot-corner] schemas: Add 'enable-hot-corners' setting

[Florian Müllner <fmuellner src gnome org>]

commit 1e254151b13dbba244a2c8982c4e160a67f7b41b
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jun 13 14:40:56 2019 +0000

    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>