> What works is that you can press the yellow button (i.e. the right one
 > on a three-button mouse) and then drag to resize.

Yes, you are right. No problem then.

Stef