Just to make sure you understand Pedro's last comment, to make a change in the default you would need to discuss this matter on the appropriate mailing list: https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop
No need to reply to this bug anymore, it is closed pending further discussion on the mailing list. Best! -- Make 'autohide' in panels faster https://bugs.launchpad.net/bugs/217985 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
