Re:

[Jacob Berkman <jberkman andrew cmu edu>]

Mikael Hermansson <mikeh@bahnhof.se> writes:

> > > Can you resize the main Gnome panel, like you can with the main panel in kde
> > > (tiny, medium, large etc...). I use a laptop at 800x600 thus screen estate
> > > is valuable to me. I currently run the version of Gnome supplied with RedHat
> > > 6.0 and am sure that it is not available this version.
> > 
> > If you are using the HEAD branch of gnome-core in CVS you can.  This hasn't
> > been released yet though, so it isn't available in a stable package.
> > 
> 
> I am using "cvs -z3 co gnome-core" and I have this feature.
> Is this not the "stable" branch or am I missing something?

The stable branch for gnome-core is gnome-core-1-0.

So, to obtain it:

cvs co -r gnome-core-1-0 gnome-core

Jacob
-- 
The 'S' in GNOME stands for 'suck'