Fix annoying build-output scrolling
When adding new text to the build output, do not always forcefully scroll to the end. Save the scroll position (+ selection) and restore it after inserting the text.
When adding new text to the build output, do not always forcefully scroll to the end. Save the scroll position (+ selection) and restore it after inserting the text.