From 23f03ca1f2dd94fad864dea1a0b8d066bd4800a3 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Fri, 20 Mar 2020 12:23:03 +0100 Subject: [PATCH] gtktextview: Set magnifier popover on top At the bottom, it sometimes has to fight for the same position than text handles, besides might not be ergonomically convenient (eg. finger/hand partly covering the popover). Move it at the top to fix both. --- gtk/gtktextview.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c index 827b0c2b45..426d34880f 100644 --- a/gtk/gtktextview.c +++ b/gtk/gtktextview.c @@ -1884,6 +1884,7 @@ _gtk_text_view_ensure_magnifier (GtkTextView *text_view) priv->magnifier = _gtk_magnifier_new (GTK_WIDGET (text_view)); _gtk_magnifier_set_magnification (GTK_MAGNIFIER (priv->magnifier), 2.0); priv->magnifier_popover = gtk_popover_new (); + gtk_popover_set_position (GTK_POPOVER (priv->magnifier_popover), GTK_POS_TOP); gtk_widget_set_parent (priv->magnifier_popover, GTK_WIDGET (text_view)); gtk_widget_add_css_class (priv->magnifier_popover, "magnifier"); gtk_popover_set_autohide (GTK_POPOVER (priv->magnifier_popover), FALSE);