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: (unassigned) => Ubuntu Desktop Bugs (desktop-bugs)
Status: New => Invalid
--
Make 'autohide' in panels faster
https://bugs.launchpad.net/bugs/217985
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
