minigui new text widget create new lines then delete them at end of file and scroll position gets inconsistent

[adamdruppe]

it doesn't scroll back up when the final line is deleted, it just leaves space at bottom of the window