make the fetch-source editbox flexible

Manually resizing it in response to the window being resized causes
the issue described in ticket #8287: the window grows continuously.