there's a new release of windowlab. it fixes some window-resizing bugs. Reproducible: Always Steps to Reproduce: 1. 2. 3.
Added to CVS. Thanks for the report.