Thanks for your report, you can customize that with the hide_delay key
on gconf. If you're suggesting changing the default key value, that
would require some more discussion with the desktop maintainers at the
appropiate mailing list. thanks.
** Changed in: gnome-panel (Ubuntu)
Assignee:
Yes, I do propose to change the default value.
The default value is far too slow and unresponsive. It makes this
feature not useful.
--
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
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
** Changed in: gnome-panel (Ubuntu)
Importance: Undecided = Wishlist
--
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
