diff options
author | Egmont Koblinger <egmont@gmail.com> | 2017-10-28 14:44:15 +0200 |
---|---|---|
committer | Egmont Koblinger <egmont@gmail.com> | 2017-10-28 14:52:27 +0200 |
commit | 653ad2224deae42d93ac10c4dd8495c7cd214e87 (patch) | |
tree | e7ed68acacee6705bae6e11306d2941947596519 | |
parent | 908c14d7c07b1cc1cca147c763572dd3ee465dd6 (diff) | |
download | vte-653ad2224deae42d93ac10c4dd8495c7cd214e87.tar.gz |
widget: Show the mouse pointer when a popover is presented from outside VTE
This is a followup for the incomplete fix from
commit 3e744098a4345fab636dca438f7e1996cdb57f7e.
https://bugzilla.gnome.org/show_bug.cgi?id=789390
-rw-r--r-- | src/vte.cc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2288,7 +2288,8 @@ VteTerminalPrivate::update_insert_delta() void VteTerminalPrivate::apply_mouse_cursor() { - m_mouse_cursor_visible = !(m_mouse_autohide && m_mouse_cursor_autohidden); + /* See bug 789390 for the m_mouse_cursor_over_widget condition. */ + m_mouse_cursor_visible = !(m_mouse_autohide && m_mouse_cursor_autohidden && m_mouse_cursor_over_widget); if (!widget_realized()) return; |