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 Gnome? IIRC the standard Gnome in potato is 1.0.55 and I think that had no configurable size at all (and is really much worse than 1.4 in any respect). There should be Gnome 1.4 debs for potato available inofficially. For sources for these look at www.debianhelp.org or www.debianplanet.org. Or you can use Ximian's from www.ximian.com Kind regards, M. -- I did not vote for the Austrian government