[PATCH]: user is allowed to change the size of the window, not of internals widgets.