4 commits

Author	SHA1	Message	Date
Jesse Duffield	0af4e5a843	prevent unnecessary re-renders of view	2023-04-02 15:44:05 +10:00
Stefan Haller	4adca84d68	Make sure scrollbars have the right size initially ... We refresh the view after reading just enough to fill it, so that we see the initial content as quickly as possible, but then we continue reading enough lines so that we can tell how long the scrollbar needs to be, and then we refresh again. This can result in slight flicker of the scrollbar when it is first drawn with a bigger size and then jumps to a smaller size; however, that's a good tradeoff for a solution that provides both good speed and accuracy.	2023-03-21 18:26:18 +01:00
casswedson	b7928042f0	chore: typo hunting ft. codespell	2022-04-06 08:52:41 +10:00
Jesse Duffield	3fb478a30e	add tests	2021-11-07 13:32:36 +11:00