From ab9f289d925262c369c6611f0ecaf1f63c6a738c Mon Sep 17 00:00:00 2001 From: Debarshi Ray Date: Wed, 1 Jul 2015 16:45:12 +0200 Subject: [PATCH] widget: Don't hide the mouse pointer Although the code has been there for a while, users have recently reported that the pointer remains hidden even after moving the mouse. This is more irritating than having the pointer remain visible while using the terminal, so let's disable this code until a fix shows up. https://bugzilla.gnome.org/show_bug.cgi?id=725342 --- src/vte.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vte.c b/src/vte.c index 906d799..7ea3a8b 100644 --- a/src/vte.c +++ b/src/vte.c @@ -2189,6 +2189,7 @@ _vte_terminal_set_pointer_visible(VteTerminal *terminal, gboolean visible) GdkWindow *window; struct vte_match_regex *regex = NULL; + visible = TRUE; terminal->pvt->mouse_cursor_visible = visible; if (! gtk_widget_get_realized (&terminal->widget)) -- 2.1.0