Re: pager in GNOME

[Max Watson <redline intrex net>]

Miguel de Icaza wrote:
> 
> > BTW, the kde pager allows for setting the size of the pager buttons,
> > regardless of the length of the text label inside the buttons. Should
> > GNOME do this also?
> 
> It would be nifty.
> 
> But then, people using Vertical panels will get, huge vertical
> panels.  On the other hand, I guess thats *their* fault not ours ;-)
> 

Oh, I have fixed that in the version I have at home, it now handles
vertical panels by writing the desktop name in the button labels one
char per line, descending. I need to commit my changes to the cvs. :) 

Max Watson <redline@intrex.net>