GNOME Bugzilla – Bug 733134
gnome-shell-extension-prefs crashed with signal 5 in g_settings_bind_with_mapping()
Last modified: 2014-07-13 22:01:27 UTC
Open bug in launchpad.net : https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1341351 "EasyScreenCast by IacopoDeeNosee"
+ Trace 233810
(In reply to comment #0) > "EasyScreenCast by IacopoDeeNosee" > > msg = 0x202f340 "Settings schema 'org.gnome.settings-daemon.plugins.media-keys' > does not contain a key named 'max-screencast-length'" Trying to access an invalid settings key would be an extension error (EasyScreenCast in this case), not anything gnome-shell-extension-prefs could prevent; though the problem here is that Ubuntu ships an old version of gnome-settings-daemon with a schema that does not contain that key yet (3.8 instead of 3.10/3.12).