Notebook: make scroll arrows 2.5 times bigger for touch interaction - SL #4185
Notebook: make scroll arrows 2.5 times bigger for touch interaction - SL #4185

In gtk+ gtknotebook.c gtk_notebook_get_arrow_rect [1] we can see that
the size of the rect that contains the arrow is set by the style
properties scroll-arrow-hlength and scroll-arrow-vlength [2].

[1] http://git.gnome.org/browse/gtk+/tree/gtk/gtknotebook.c#n2696
[2] http://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget--s-scroll-arrow-hlength

Signed-off-by: Manuel Quiñones <6f5069c5b6be23302a13accec56587944be09079@laptop.org>
Acked-by: Simon Schampijer <088e16a1019277b15d58faf0541e11910eb756f6@laptop.org>

tchx84/debian-pkg-sugar-artwork,tchx84/debian-pkg-sugar-artwork,tchx84/debian-pkg-sugar-artwork