Gnome Shell 3.6 on Ubuntu 12.10 with tons of extensions, rock solid.
On Mon, Mar 17, 2014 at 3:37 AM, <marathon.duran...@gmail.com> wrote: > On Sat, Mar 08, 2014 at 02:55:06AM -0800, Stuart Axon wrote: >> At least once a day if I play a video, on a web page or a video player >> everything freezes in gnome shell, after the video has played for a few >> seconds. >> >> The sound carries on, if I switch to another terminal and >> >> pkill -HUP gnome-shell >> >> Then switch back, everything is unfrozen and I can see the video - the whole >> time the sound from the video never stops. >> >> >> I've reproduced the bug using chromium and firefox to play videos remotely, >> vlc and totem to play videos locally. >> >> On Ubuntnu 13.04 > > Gnome Shell 3.8.x on Debian SID no such issues, rather stable actually. > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
