SOLVED: gnome-shell behavior
Am 06.03.2012 12:32, schrieb Stefan G. Weichinger:
> ... it seems that the Gnome extension "Journal"
> triggers the crash. Disabled it now, gotta monitor things.
Just to be correct on that one:
removed "Journal" (and "Jump Lists") completely, re-added it.
It works fine now.
Both the extension itself and the "typing the first characters"-behavior
of the gnome-shell.