Bug#747244: gnome-terminal: mouse cursor hides when typing and won't unhide when moving it again

[Alberto Garcia]

On Wed, Nov 23, 2016 at 11:18:18PM +0100, Egmont Koblinger wrote:

> I belive this is the same as the upstream bug at
> https://bugzilla.gnome.org/show_bug.cgi?id=725342, which in turn boiled
> down to the Gtk+ focus-out issue:
> https://bugzilla.gnome.org/show_bug.cgi?id=677329.
> 
> If so, it's fixed in gtk+ 3.18.9.

I still have this problem (gtk+ 3.22.11-1, gnome-terminal 3.22.2-1).

Berto