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

[Egmont Koblinger]

Hi,

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.

cheers,
e.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20161123/c1584da3/attachment.html>