by Ben on Thu May 11, 2006 12:30 am
Hello,
I have noticed this, too. I think it has to do with sizers and rounding. Right now, we use an arbitrarily large sizer proportion to get a fine level of granularity. However, one side effect seems to be a few leftover pixels. It wasn't always this way; we had it once so that it worked well, but I feel that this was dependent on the wxWidgets version we developed it on.
We will take a look at this.
Thanks,
Ben