Bug#659359: gnome-shell-extension Dock Extension

Thu Feb 16 02:15:10 UTC 2012

I realized when I use gnome-shell extension Dock Extension, which is a 
ball then turns into dock, bug happens and gnome-shell freezes. But when 
I use gnome-shell extensio Dock Extesion, which is a bar hidden then 
turns into dock bug didn't happen.

So gnome-shell freezes when Dock Extension (ball) is on.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20120216/c0668e62/attachment.html>