Hello, this bug report can be closed. I had a hard disk crash and did a clean installation. Now gnome-shell works very well. And sorry for the garbage at the beginning of my bug report.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
