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

[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
menubar, then the cursor becomes visible as soon as I move it, as should
be.


Ciao,

Enrico


-- System Information:
Debian Release: jessie/sid
  APT prefers testing2
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.13-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.20.0-2
ii  gconf-service                                3.2.6-2
ii  gnome-terminal-data                          3.12.0-2
ii  gsettings-desktop-schemas                    3.8.2-2
ii  libatk1.0-0                                  2.12.0-1
ii  libc6                                        2.18-5
ii  libcairo-gobject2                            1.12.16-2
ii  libcairo2                                    1.12.16-2
ii  libdconf1                                    0.20.0-2
ii  libgconf-2-4                                 3.2.6-2
ii  libgdk-pixbuf2.0-0                           2.30.7-1
ii  libglib2.0-0                                 2.40.0-3
ii  libgtk-3-0                                   3.12.1-1
ii  libnautilus-extension1a                      3.8.2-2
ii  libpango-1.0-0                               1.36.3-1
ii  libpangocairo-1.0-0                          1.36.3-1
ii  libuuid1                                     2.20.1-5.7
ii  libvte-2.90-9                                1:0.36.0-2
ii  libx11-6                                     2:1.6.2-1

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.8.0-3
ii  gvfs      1.20.1-1
ii  yelp      3.12.0-1

gnome-terminal suggests no packages.

-- no debconf information