fix resize problem on Mac (when the size of the graphic window was set in

a script, and when this size was different than the current size, it was
impossible to make the window larger)