tasklist widget button size

[Philip Scott]

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.

Thanks.