Discuss: Pager: do we need text + icon option?

[Rafał Miłecki]

2008/4/8, Aaron J. Seigo <aseigo at kde.org>:
> On Monday 07 April 2008, Rafał Miłecki wrote:
>  > 1) None
>  > 2) Desktop number
>  > 3) Desktop name
>  > 4) Top window icon
>
>
> 4 is fairly orthogonal to 2 and 3; people do use them together.

Uh, it's hard to get opinions from ppl as I can see :/ OK, I'll just
leave it as is.

-- 
Rafał Miłecki