[gnome-settings-daemon/overlay-scrolling-setting: 15/15] xsettings: Add an entry for the overlay scrolling setting

[Carlos Garnacho <carlosg src gnome org>]

commit 7bcb8a43a725f1eadfea9cca45a1526a83aaae42
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed May 22 16:04:42 2019 -0400

    xsettings: Add an entry for the overlay scrolling setting
    
    This will be used by GTK.

 plugins/xsettings/gsd-xsettings-manager.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/plugins/xsettings/gsd-xsettings-manager.c b/plugins/xsettings/gsd-xsettings-manager.c
index 3b1ebc3a..552be4a0 100644
--- a/plugins/xsettings/gsd-xsettings-manager.c
+++ b/plugins/xsettings/gsd-xsettings-manager.c
@@ -478,6 +478,7 @@ static TranslationEntry translations [] = {
         { "org.gnome.desktop.interface", "icon-theme",             "Net/IconThemeName",       
translate_string_string },
         { "org.gnome.desktop.interface", "cursor-theme",           "Gtk/CursorThemeName",     
translate_string_string },
         { "org.gnome.desktop.interface", "gtk-enable-primary-paste", "Gtk/EnablePrimaryPaste", 
translate_bool_int },
+        { "org.gnome.desktop.interface", "overlay-scrolling",      "Gtk/OverlayScrolling",    
translate_bool_int },
         /* cursor-size is handled via the Xft side as it needs the scaling factor */
 
         { "org.gnome.desktop.sound", "theme-name",                 "Net/SoundThemeName",            
translate_string_string },