Re: Fix checkbox scaling warnings

[Pieter de Bie]

On Mon, Aug 31, 2009 at 5:27 PM, Stonewall Ballard<ston...@gmail.com> wrote:
>
> Thanks for cleaning that up!

I applied Benjamin's patch, so you should be OK :)