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

2017-08-03 Thread 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

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

2016-11-23 Thread 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.

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

2014-05-06 Thread Enrico Zini
Package: gnome-terminal Version: 3.12.0-2 Severity: normal Hello, since upgrading to 3.12.0-2, the mouse cursor hides correctly as I type, but won't unhide when I move the mouse, until I move it outside the terminal window. This only seems to happen when the menubar is hidden: if I show the