[wishlist request] gnome-panel: Easier toggle of auto-hide

[Steve Haslam <araqnid debian org>]

Received this through the Debian BTS:

From: Chris Butler <chrisb@sandy.force9.co.uk>
Package: gnome-panel
Version: 1.0.5-1
Severity: wishlist

It would be nice if there was a way to toggle the auto-hide feature by just
clicking some button on the panel, without having to go into a menu and a
properties dialog.


-- 
Steve Haslam               Debian GNU/Linux               araqnid@debian.org
gnome-libs, gnome-core, gnome-control-center, gdm, p3nfs.    what, me worry?

PGP signature