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

adamdruppe / arsd

This is a collection of modules that I've released over the years. Most of them stand alone, or have just one or two dependencies in here, so you don't have to download this whole repo.

http://arsd-official.dpldocs.info/arsd.html

531 stars 125 forks source link

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

Open adamdruppe opened 1 year ago

adamdruppe commented 1 year ago

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