diff options
author | Rui Matos <tiagomatos@gmail.com> | 2016-12-08 18:18:53 +0100 |
---|---|---|
committer | Rui Matos <tiagomatos@gmail.com> | 2017-01-10 15:17:27 +0100 |
commit | b46da27d34fdae40541e648a0a8ece20981f75a5 (patch) | |
tree | ecf56651b61f850fb4711549317fe6cfb5c7fa80 | |
parent | 57a11ca28defaf91b9316537033cad92a8893bdb (diff) | |
download | gtk+-b46da27d34fdae40541e648a0a8ece20981f75a5.tar.gz |
gdk/wayland: Add support for the gtk-enable-primary-paste gsetting
The gsetting was recently added so that we can have this configurable
on the wayland backend too.
https://bugzilla.gnome.org/show_bug.cgi?id=775846
-rw-r--r-- | gdk/wayland/gdkscreen-wayland.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdk/wayland/gdkscreen-wayland.c b/gdk/wayland/gdkscreen-wayland.c index a9af78f9f7..1eb3a1be10 100644 --- a/gdk/wayland/gdkscreen-wayland.c +++ b/gdk/wayland/gdkscreen-wayland.c @@ -321,6 +321,7 @@ static TranslationEntry translations[] = { { "org.gnome.desktop.interface", "cursor-blink-timeout", "gtk-cursor-blink-timeout", G_TYPE_INT, { .i = 3600 } }, { "org.gnome.desktop.interface", "gtk-im-module", "gtk-im-module", G_TYPE_STRING, { .s = "simple" } }, { "org.gnome.desktop.interface", "enable-animations", "gtk-enable-animations", G_TYPE_BOOLEAN, { .b = TRUE } }, + { "org.gnome.desktop.interface", "gtk-enable-primary-paste", "gtk-enable-primary-paste", G_TYPE_BOOLEAN, { .b = TRUE } }, { "org.gnome.settings-daemon.peripherals.mouse", "double-click", "gtk-double-click-time", G_TYPE_INT, { .i = 400 } }, { "org.gnome.settings-daemon.peripherals.mouse", "drag-threshold", "gtk-dnd-drag-threshold", G_TYPE_INT, {.i = 8 } }, { "org.gnome.desktop.sound", "theme-name", "gtk-sound-theme-name", G_TYPE_STRING, { .s = "freedesktop" } }, |