A transient issue. All seems to be working fine now with the gnome- shell 3.21.91-2 update.
Feel free to close this ticket. Thanks, -- Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B
