GNOME Bugzilla – Bug 663879
gnome-shell-extension-alternative-status-menu crashes randomly
Last modified: 2011-11-11 21:30:04 UTC
I get some random crashes if the extension for the alternative status menu is active. This seems to be a common problem if one searches over the internet. Solutions so far: - Delay the activation of the extension (there seems to be a race condition) - Set a profile picture Version: gnome-shell-3.2.1-2.fc16.src.rpm If you need anything else, just let me know.
Thanks for taking the time to report this bug. This particular bug has already been reported into our bug tracking system, but we are happy to tell you that the problem has already been fixed. It should be solved in the next software version. You may want to check for a software upgrade. This bug is one in GNOME Shell and is fixed by: http://git.gnome.org/browse/gnome-shell/commit/js/ui/userMenu.js?id=615723d8df61ea261f278441904c7ba97fd9baff *** This bug has been marked as a duplicate of bug 660520 ***
I installed the patch and so far I do not had a crash, so it seems to work ;) Thanks for the quick response!