Re: panel autohide

[dep <dep linuxandmain com>]

begin  Jeff Trefftzs's  quote:

| They mean right click on the panel itself.  They you should get a
| menu that includes a "Panel" entry;  Mouse over that, you should
| see another submenu with "properties", mouse over that, and you
| should see "Hiding Policy", and under that you finally come to
| "auto hide".    At least that's where it is on my newly-installed
| RH-7.1 system.

that's the weird thing -- that's what the manual says to do, too. only 
if i rmb on the panel itself and then go to the panel entry, the 
submenu has "add to panel," "create panel," "remove this panel" 
(greyed out), "global preferences" (which has nothing for autohide), 
"edit menus," "panel manual" (which gets me nautilus and my home 
directory -- odd), "about the panel," and "about gnome." no 
properties at all. so i suppose it's a ximian thing.

-- 
dep
--
Everyone is entitled to his own opinion but not his own facts.
                                    -- Daniel Patrick Moynahan