Re: pager in GNOME




> 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 ;-)

Miguel.



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]