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 f
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.
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
menu
3 matches
Mail list logo