Re: sise of the panel in gnome

2002-01-12 Thread Mario Vukelic
On Sat, 2002-01-12 at 15:24, Olivier Esser wrote: > Does anyone know how to customize the size of the gnome panel (at the > bottom of the screen) (I use Debian potato 2.2r4). In Red Hat there is an > option avaible by right clicking on the panel by I see nothing similar > here. Which version of G

sise of the panel in gnome

2002-01-12 Thread Olivier Esser
Does anyone know how to customize the size of the gnome panel (at the bottom of the screen) (I use Debian potato 2.2r4). In Red Hat there is an option avaible by right clicking on the panel by I see nothing similar here.