From 3278fb9990337058e591830de4c01a3e9d3885f9 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 22 Mar 2013 19:27:36 -0400 Subject: [PATCH] wayland: Add cursor-size setting This will be picked up by cursor themes soon. --- gdk/wayland/gdkscreen-wayland.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gdk/wayland/gdkscreen-wayland.c b/gdk/wayland/gdkscreen-wayland.c index 15c4bd4acc..021dc0318f 100644 --- a/gdk/wayland/gdkscreen-wayland.c +++ b/gdk/wayland/gdkscreen-wayland.c @@ -293,6 +293,7 @@ static TranslationEntry translations[] = { { "org.gnome.desktop.interface", "gtk-theme", "gtk-theme-name" , G_TYPE_STRING, "Adwaita", 0 }, { "org.gnome.desktop.interface", "icon-theme", "gtk-icon-theme-name", G_TYPE_STRING, "gnome", 0 }, { "org.gnome.desktop.interface", "cursor-theme", "gtk-cursor-theme-name", G_TYPE_STRING, "Adwaita", 0 }, + { "org.gnome.desktop.interface", "cursor-size", "gtk-cursor-theme-size", G_TYPE_INT, NULL, 32 }, { "org.gnome.desktop.interface", "font-name", "gtk-font-name", G_TYPE_STRING, "Cantarell 11", 0 }, { "org.gnome.desktop.interface", "cursor-blink", "gtk-cursor-blink", G_TYPE_BOOLEAN, NULL, 1 }, { "org.gnome.desktop.interface", "cursor-blink-time", "gtk-cursor-blink-time", G_TYPE_INT, NULL, 1200 },