tasklist widget button size

[Brian J. Tarricone]

On Wed, 19 May 2004, Philip Scott wrote:

> Jasper Huijsmans wrote:
> > Olivier Fourdan wrote:
> > 
> >> Yeah, if you have someting like that please go ahead and commit.
> >>
> > 
> > Done ;)
> 
> Would it be possible to have this toggleable? I preferred the old 
> behaviour and of the couple of people I showed screenshots to, they 
> agreed with me.
> I may be in the minority and by the fact I've only seen one person say 
> they preferred it the other way, I suspect this is the case. I thought 
> I'd ask anyway, just in case.

agreed - i like the full-sized buttons as well.  it helps with 
readability when you have few open windows, and gives you a larger 
target area.

	-brian