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

[jre]

Control: found -1 3.14.2-1


Hi,

thanks for the quick answer.


On 04/12/2015 09:11 PM, Andreas Henriksson wrote:
> Control: reassign -1 mutter
> 
> Hello!
> 
> On Sun, Apr 12, 2015 at 08:02:39PM +0200, jre wrote:
> [...]
>> Apr 12 18:01:58 hope gnome-session[1257]: mutter:ERROR:core/screen.c:1250:update_num_workspaces: assertion failed: (w->windows == NULL)
> [...]
> 
> So it seems to be mutter crashing on an assertion failure, reassigning.
> More information on your exact way to attempt to reproduce could be useful.
> Exact number of workspaces, number of windows open and on which workspace
> they reside, etc....

I can reproduce the crash everytime, on both machines. One of those was
a fresh installation.


Setup:

Fresh, new user. No changes at all. First login. The first thing after
logging in is to reproduce the crash. So no other windows/workspace
stuff or extensions.
(But it also happens for my regular user, with some Gnome Tweak Tool-
and probably dconf-changes, after working for some hours and having open
windows. No difference, I always get the crash.)


Reproduce:

1. Start Gnome Tweak Tool
2. In the "Workspaces" tab set "Workspace Creation" to static.
3. Click on the "Minus" next to "Number of Workspaces", reducing it
   from 4 to 3.
  --> the Desktop wallpaper gets black for a short time, then
      everything is back to normal.
4. Click the "Minus" a second time, reducing it from 3 to 2 (without
   waiting for a longer time between both clicks.)
  --> The following screen appears:
    Oh no! Something has gone wrong.
    A problem has occured and the system can't recover.
    All extensions have been disabled as a precaution.
    Logout


> https://wiki.debian.org/HowToGetABacktrace
> 
> If not even you can reproduce the problem I guess it will be hard to
> get anywhere. In case you manage to do it again, please try with the
> new mutter version that should be available in sid/unstable today/tomorrow.

Thanks for the link, but that's just the basic stuff. E.g. I have no
mutter process running. For now I've found
https://wiki.gnome.org/Projects/GnomeShell/Debugging, hope that works. I
will try tomorrow with the new mutter version.

Greets
jre