Jan Nieuwenhuizen writes: > That looks like an upstream problem > > https://gitlab.gnome.org/GNOME/gnome-shell/issues/64 Sorry, this is not helping. -- Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | AvatarĀ® http://AvatarAcademy.com