The auto-hide default settings of the gnome-panel are cumbersome, making the panel look sluggish and uncomfortable
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| GNOME Panel |
Fix Released
|
Low
|
|||
| One Hundred Papercuts |
Invalid
|
Undecided
|
Unassigned | ||
| gnome-panel (Ubuntu) |
Fix Released
|
Wishlist
|
Ubuntu Desktop Bugs | ||
Bug Description
Binary package hint: gnome-panel
To save space, I normally set Ubuntu's top panel to auto-hide.
But the bad defaults make it necessary that I have run gconf-editor to make the gnome-panel behave more responsive.
a) The hide/unhide animation is too slow.
=> Set "animation_speed" to "fast" by default.
b) When hidden, the panel still shows 6 pixel. This looks unprofessional when you have "expand" deactivated, because you can see a small bar of the wallpaper, which is confusing.
=> Set "auto_hide_size" from 6 to 1.
c) The hide/unhide delay is too large.
=> Reduce the "unhide_delay". (something between 0 and 100 should be ok.)
=> Reduce the "hide_delay". (something around 300 should be ok.)
d) Setting "auto_hide_size" to 0 does not work.
=> This should probably solved with transparency.
| description: | updated |
| description: | updated |
| description: | updated |
| Changed in gnome-panel (Ubuntu): | |
| assignee: | nobody → Ubuntu Desktop Bugs (desktop-bugs) |
| importance: | Undecided → Wishlist |
| status: | New → Triaged |
| Changed in gnome-panel: | |
| status: | Unknown → New |
| David Siegel (djsiegel-deactivatedaccount) wrote | #1 |
| Changed in hundredpapercuts: | |
| status: | New → Invalid |
| Sebastien Bacher (seb128) wrote | #2 |
| Changed in gnome-panel (Ubuntu): | |
| status: | Triaged → Fix Committed |
| Sebastien Bacher (seb128) wrote | #4 |
| Changed in gnome-panel (Ubuntu): | |
| status: | Fix Committed → Fix Released |
| Changed in gnome-panel: | |
| status: | New → Fix Released |
| Changed in gnome-panel: | |
| importance: | Unknown → Low |
This does not affect the usability of the default Ubuntu experience, which does not use panels configured to auto-hide.
It is a great bug that could improve usability of GNOME Panel, though.