diff options
author | Matthias Clasen <mclasen@redhat.com> | 2019-05-22 16:04:42 -0400 |
---|---|---|
committer | Carlos Garnacho <mrgarnacho@gmail.com> | 2019-07-29 20:15:00 +0000 |
commit | 6e790966c2b6e1db8dd2c145119d3fdd19e0c18f (patch) | |
tree | 6df4b628415372e1dce3d2926aeb291ff13276a3 /plugins/xsettings | |
parent | 26a4e448041a7756983fd4941a56ff40c7897bbc (diff) | |
download | gnome-settings-daemon-6e790966c2b6e1db8dd2c145119d3fdd19e0c18f.tar.gz |
xsettings: Add an entry for the overlay scrolling settingoverlay-scrolling-setting
This will be used by GTK.
Diffstat (limited to 'plugins/xsettings')
-rw-r--r-- | plugins/xsettings/gsd-xsettings-manager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/xsettings/gsd-xsettings-manager.c b/plugins/xsettings/gsd-xsettings-manager.c index c3ac7892..4164de40 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 }, |