This avoids the terminal content from being pushed down when starting text selection. The drawback is that one cannot select text at the top rows without scrolling - something to fix for the future.