[gsettings-desktop-schemas/overlay-scrolling-setting] Add a setting for overlay scrolling

[Matthias Clasen <matthiasc src gnome org>]

commit b94d2334fe6e2578aec32f97b9c3bd0d7709ad12
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed May 22 15:51:19 2019 -0400

    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>