gdk/wayland: Add support for the gtk-enable-primary-paste gsetting
authorRui Matos <tiagomatos@gmail.com>
Thu, 8 Dec 2016 17:18:53 +0000 (18:18 +0100)
committerRui Matos <tiagomatos@gmail.com>
Tue, 10 Jan 2017 14:18:09 +0000 (15:18 +0100)
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

gdk/wayland/gdkscreen-wayland.c

index 6c8b8b9385017e20c7113a7bbe76eb02a2f94094..92a3521ba6061a8efc205c326276a90e42f3469a 100644 (file)
@@ -402,6 +402,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" } },