Re: panel autohide

[dep <dep linuxandmain com>]

to everyone,

thanks very much for all your help. the solution had to do with it 
being a menu panel rather than a plain old panel.

what i was up to is memorialized online, and the helpful members of 
this list are mentioned. it's here:

http://www.linuxandmain.com/tech/xibretto.html

thanks again.

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