From e38a8726e06b2eaa6dee24588150b71bc573f6f2 Mon Sep 17 00:00:00 2001
From: Manuel Quiñones <manuq@laptop.org>
Date: Wed, 23 Jan 2013 14:40:10 +0000
Subject: 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 <manuq@laptop.org>
Acked-by: Simon Schampijer <simon@laptop.org>
---
diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em
index 80ef6af..dd32a1c 100644
--- a/gtk3/theme/gtk-widgets.css.em
+++ b/gtk3/theme/gtk-widgets.css.em
@@ -322,6 +322,8 @@ GtkComboBox .separator {
     padding: 0px;
     -GtkNotebook-tab-overlap: -2;
     -GtkNotebook-tab-curvature: $default_padding;
+    -GtkWidget-scroll-arrow-hlength: $(my_floor(2.5 * subcell_size));
+    -GtkWidget-scroll-arrow-vlength: $(my_floor(2.5 * subcell_size));
 }
 
 .notebook tab {
--
cgit v0.9.1