Blame SOURCES/0001-schemas-Add-enable-hot-corners-setting.patch

9dd950
From 1e254151b13dbba244a2c8982c4e160a67f7b41b Mon Sep 17 00:00:00 2001
9dd950
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
9dd950
Date: Thu, 13 Jun 2019 14:40:56 +0000
9dd950
Subject: [PATCH] schemas: Add 'enable-hot-corners' setting
9dd950
9dd950
Whether people love or hate gnome-shell's hot corner depends to large
9dd950
extents on hardware sensitivity and habits, which is hard to get right
9dd950
universally. So bite the bullet and add an option to enable or disable
9dd950
hot corners ...
9dd950
9dd950
https://gitlab.gnome.org/GNOME/gsettings-desktop-schemas/merge_requests/26
9dd950
---
9dd950
 schemas/org.gnome.desktop.interface.gschema.xml.in | 8 ++++++++
9dd950
 1 file changed, 8 insertions(+)
9dd950
9dd950
diff --git a/schemas/org.gnome.desktop.interface.gschema.xml.in b/schemas/org.gnome.desktop.interface.gschema.xml.in
9dd950
index 22ef50d..1e47888 100644
9dd950
--- a/schemas/org.gnome.desktop.interface.gschema.xml.in
9dd950
+++ b/schemas/org.gnome.desktop.interface.gschema.xml.in
9dd950
@@ -228,6 +228,14 @@
9dd950
         If true, display weekday in the clock, in addition to time.
9dd950
       </description>
9dd950
     </key>
9dd950
+    <key name="enable-hot-corners" type="b">
9dd950
+      <default>true</default>
9dd950
+      <summary>Enable hot corners</summary>
9dd950
+      <description>
9dd950
+        If true, the activities overview can be accessed by moving the
9dd950
+        mouse to the top-left corner.
9dd950
+      </description>
9dd950
+    </key>
9dd950
     <key name="show-battery-percentage" type="b">
9dd950
       <default>false</default>
9dd950
       <summary>Show battery percentage</summary>
9dd950
-- 
9dd950
2.21.0
9dd950