I added it to gnome's bugzilla.
I checked for duplicate bugreport and there are some bugs that sounds like this 
one. But they aren't the same.

** Bug watch added: GNOME Bug Tracker #381430
   http://bugzilla.gnome.org/show_bug.cgi?id=381430

** Also affects: bugzilla (upstream) via
   http://bugzilla.gnome.org/show_bug.cgi?id=381430
   Importance: Unknown
       Status: Unknown

-- 
Auto-hide in gnome-panel
https://launchpad.net/bugs/45974

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to