It seems some package from today's bunch of updates has corrected this issue (probably a javascript function inside "gnome-shell-common").
This bug can be now closed. Greetings, -- Camaleón -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
