|
 |
618927 |
From 6e790966c2b6e1db8dd2c145119d3fdd19e0c18f Mon Sep 17 00:00:00 2001
|
|
|
618927 |
From: Matthias Clasen <mclasen@redhat.com>
|
|
|
618927 |
Date: Wed, 22 May 2019 16:04:42 -0400
|
|
|
618927 |
Subject: [PATCH] xsettings: Add an entry for the overlay scrolling setting
|
|
|
618927 |
|
|
|
618927 |
This will be used by GTK.
|
|
|
618927 |
---
|
|
|
618927 |
plugins/xsettings/gsd-xsettings-manager.c | 1 +
|
|
|
618927 |
1 file changed, 1 insertion(+)
|
|
|
618927 |
|
|
|
618927 |
diff --git a/plugins/xsettings/gsd-xsettings-manager.c b/plugins/xsettings/gsd-xsettings-manager.c
|
|
|
618927 |
index c3ac7892..4164de40 100644
|
|
|
618927 |
--- a/plugins/xsettings/gsd-xsettings-manager.c
|
|
|
618927 |
+++ b/plugins/xsettings/gsd-xsettings-manager.c
|
|
|
618927 |
@@ -478,6 +478,7 @@ static TranslationEntry translations [] = {
|
|
|
618927 |
{ "org.gnome.desktop.interface", "icon-theme", "Net/IconThemeName", translate_string_string },
|
|
|
618927 |
{ "org.gnome.desktop.interface", "cursor-theme", "Gtk/CursorThemeName", translate_string_string },
|
|
|
618927 |
{ "org.gnome.desktop.interface", "gtk-enable-primary-paste", "Gtk/EnablePrimaryPaste", translate_bool_int },
|
|
|
618927 |
+ { "org.gnome.desktop.interface", "overlay-scrolling", "Gtk/OverlayScrolling", translate_bool_int },
|
|
|
618927 |
/* cursor-size is handled via the Xft side as it needs the scaling factor */
|
|
|
618927 |
|
|
|
618927 |
{ "org.gnome.desktop.sound", "theme-name", "Net/SoundThemeName", translate_string_string },
|
|
|
618927 |
--
|
|
|
618927 |
2.23.0
|
|
|
618927 |
|