1. 2002-10-07 Re: [gentoo-desktop] Hide panel gentoo-de Spider 2. 2002-10-07 Re: [gentoo-desktop] Hide panel gentoo-de Will Roe 3. 2002-09-18 Re: [gentoo-desktop] Hide panel gentoo-de Spider