option to hide handles on non-expanded panel
Bug #412975 reported by
Nikola Kovacs
This bug affects 3 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GNOME Panel |
New
|
Wishlist
|
|||
gnome-panel (Ubuntu) |
Triaged
|
Wishlist
|
Ubuntu Desktop Bugs |
Bug Description
Binary package hint: gnome-panel
Gnome-panel places two handles on both sides of the panel when the panel is not expanded. I'd like to have the option to remove them, because I'd like to place a non-expanded panel with a menu in a corner, but the handle prevents me from quickly accessing the menu by moving my mouse into the corner.
I've written a patch to introduce a boolean gconf value, expand_handles, which if set to false hides these (by setting their size to 0 instead of the hardcoded 10). I'm new to gnome hacking, and this is probably not the right way to do it, but it works for me.
I'm using Ubuntu 9.10 and gnome-panel 1:2.27.4-0ubuntu6
Changed in gnome-panel (Ubuntu): | |
status: | New → Triaged |
Changed in gnome-panel: | |
status: | Unknown → New |
tags: | added: gnome patch-forwarded-upstream ui |
Changed in gnome-panel: | |
importance: | Unknown → Wishlist |
To post a comment you must log in.
Thank you for your bug report. The issue is an upstream one and it would be nice if somebody having it could send the bug the to the people writting the software (https:/ /wiki.ubuntu. com/Bugs/ Upstream/ GNOME)