Public bug reported:
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
** Affects: gnome-panel (Ubuntu)
Importance: Undecided
Status: New
--
option to hide handles on non-expanded panel
https://bugs.launchpad.net/bugs/412975
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
