Bug#782075: gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces

[jre]

Package: gnome-tweak-tool
Version: 3.14.2-2
Severity: serious
Justification: causes data loss


Hi,

reducing the "Number of Workspaces" (for "Workspace Creation" Static) in
the Workspaces tab of Gnome Tweak Tool crashes the whole Gnome session:

>>>
Oh no! Something has gone wrong.
A problem has occured and the system can't recover. All extensions have
been disabled as a precaution.
<<<


Therefore all unsaved changes in any running application are lost and
extensions have to be reenabled manually.


I noticed this on a fresh (2015-04-05) Jessie installation with no
extensions. I can reproduce it here on my daily-use-laptop Jessie
installation.


Thanks
jre



-- System Information:
Debian Release: 8.0
  APT prefers testing
  APT policy: (900, 'testing'), (300, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (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