Re: [Zope] resizing ZMI textarea window