From b94d2334fe6e2578aec32f97b9c3bd0d7709ad12 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Wed, 22 May 2019 15:51:19 -0400
Subject: [PATCH] Add a setting for overlay scrolling

This setting will be used by GTK.
---
 schemas/org.gnome.desktop.interface.gschema.xml.in | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/schemas/org.gnome.desktop.interface.gschema.xml.in b/schemas/org.gnome.desktop.interface.gschema.xml.in
index 22ef50d..680ac4c 100644
--- a/schemas/org.gnome.desktop.interface.gschema.xml.in
+++ b/schemas/org.gnome.desktop.interface.gschema.xml.in
@@ -242,5 +242,14 @@
         If true, gtk+ uses the primary paste selection, usually triggered by a middle mouse button click.
       </description>
     </key>
+    <key name="overlay-scrolling" type="b">
+      <default>true</default>
+      <summary>Allow overlay scrolling</summary>
+      <description>
+        Whether scrollbars should be overlayed as indicators. Depending
+        on input devices in use, permanent scrollbars may still be
+        displayed.
+      </description>
+    </key>
   </schema>
 </schemalist>
-- 
2.23.0