Re: gnome panel question

[Rasaki Bidemi Bolanle Temidire <brtemidi engmail uwaterloo ca>]

Hi,

This may sound like a silly suggestion but here goes.  In the gnome pager settings, there are two things taht I found will drastically affect the size of the pager.  The first is the "Use small pagers" option which I usually have sellected and the second is the "Rows of pagers" option.  I think that the default for the second option is "1".  After setting it to two or three, I found that the pager size was minimized drastically.

I hope that this helps.

Bidemi Temidire

> I just upgraded my version of gnome-core and gnome-libs and now the
> panel is HUGE! (Twice as high as it used to be).  How can I resize
> this beast?  The old size was perfect.  Unfortunately I found no
> information on this in the docs, nor in panel properties or global
> properties.
> 
> Many thanks in advance for any help.
> 
> Sean Mountcastle
> 
> 
> 
> 
> -- 
>         FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
>          To unsubscribe: mail gnome-list-request@gnome.org with 
>                        "unsubscribe" as the Subject.
> 
>