From 3e744098a4345fab636dca438f7e1996cdb57f7e Mon Sep 17 00:00:00 2001 From: Egmont Koblinger Date: Sun, 20 Aug 2017 22:35:27 +0200 Subject: [PATCH] widget: Don't hide the mouse pointer when a popover is presented This was broken in commit 776823da23b81b70e430c494bb66b54954c42d7b. https://bugzilla.gnome.org/show_bug.cgi?id=786441 --- src/vte.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vte.cc b/src/vte.cc index 39510a7d..ed752de4 100644 --- a/src/vte.cc +++ b/src/vte.cc @@ -2293,7 +2293,7 @@ VteTerminalPrivate::update_insert_delta() void VteTerminalPrivate::apply_mouse_cursor() { - m_mouse_cursor_visible = m_mouse_cursor_over_widget && !(m_mouse_autohide && m_mouse_cursor_autohidden); + m_mouse_cursor_visible = !(m_mouse_autohide && m_mouse_cursor_autohidden); if (!widget_realized()) return; @@ -10685,7 +10685,7 @@ VteTerminalPrivate::emit_pending_signals() if (m_contents_changed_pending) { /* Update hyperlink and dingus match set. */ match_contents_clear(); - if (m_mouse_cursor_visible) { + if (m_mouse_cursor_over_widget) { hyperlink_hilite_update(m_mouse_last_position); match_hilite_update(m_mouse_last_position); }