Bug#787944: gnome-tweak-tool: windows -> titlebar -> (toggle shade) does not work

[Mark Hedges]

Package: gnome-tweak-tool
Version: 3.14.2-2
Severity: normal

Dear Maintainer,

The "Toggle Shade" function no longer works in the window settings.

If this is a window manager bug, please forward or let me know
the correct package.

I expected the window to roll up so only the title bar was visible.

Instead of shading (rollup), the window just disappears.

It can be found again from the window processes in the panel and restored.

In the window overview, the window is invisible, although it has an outline
and the label is there.

I was not able to find the gconf files where this setting is stored, using
gconf-editor or searching files under ~/.g*.  Are gconf settings somewhere
else now?

Thanks.

Mark


-- System Information:
Debian Release: 8.0
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 3.16.0-4-686-pae (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gnome-tweak-tool depends on:
ii  gir1.2-gnomedesktop-3.0    3.14.1-1
ii  gir1.2-gtk-3.0             3.14.5-1
ii  gir1.2-notify-0.7          0.7.6-2
ii  gir1.2-soup-2.4            2.48.0-1
ii  gnome-shell-common         3.14.2-3
ii  gsettings-desktop-schemas  3.14.1-1
ii  mutter-common              3.14.2-1
ii  python                     2.7.9-1
ii  python-gi                  3.14.0-1

gnome-tweak-tool recommends no packages.

gnome-tweak-tool suggests no packages.

-- no debconf information


-- 
Mark Hedges, software engineer
Business info:  http://formdata.biz/