[gtk+/touch-selection-improvements: 14/17] textview: raise a bit magnifier popover

[Carlos Garnacho <carlosg src gnome org>]

commit c1cff4f846802e35a9b747f10d771b6eb4652f9f
Author: Carlos Garnacho <carlosg gnome org>
Date:   Fri Nov 21 16:30:43 2014 +0100

    textview: raise a bit magnifier popover
    
    Not a good hint if the finger covers bits of the magnifier itself, this
    seems enough to at least only cover the tail.

 gtk/gtktextview.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 33005d2..5a18087 100644
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -4746,8 +4746,8 @@ gtk_text_view_show_magnifier (GtkTextView *text_view,
   _gtk_magnifier_set_coords (GTK_MAGNIFIER (priv->magnifier),
                              rect.x, rect.y + rect.height / 2);
 
-  rect.height /= 2;
-  rect.y += rect.height;
+  rect.y += rect.height / 4;
+  rect.height -= rect.height / 4;
   gtk_popover_set_pointing_to (GTK_POPOVER (priv->magnifier_popover),
                                &rect);