option to hide handles on non-expanded panel

Bug #412975 reported by Nikola Kovacs
20
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

Revision history for this message
Sebastien Bacher (seb128) wrote :

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)

Changed in gnome-panel (Ubuntu):
assignee: nobody → Ubuntu Desktop Bugs (desktop-bugs)
importance: Undecided → Wishlist
Revision history for this message
Nikola Kovacs (nx) wrote :

The patch was missing a few things, so the panel did not read the gconf option on startup. Here's a fixed version. I've also reported the bug on gnome's bugzilla: http://bugzilla.gnome.org/show_bug.cgi?id=591689

Changed in gnome-panel (Ubuntu):
status: New → Triaged
Changed in gnome-panel:
status: Unknown → New
David Futcher (bobbo)
tags: added: gnome patch-forwarded-upstream ui
Changed in gnome-panel:
importance: Unknown → Wishlist
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.