(In reply to Ernst Sjöstrand from comment #1) > Which exact version is that of gnome-shell and mutter? gnome-shell-3.22.2-2.fc25.x86_64 mutter-3.22.2-3.fc25.x86_64