• VSCode Version: stable and from sources

Steps to Reproduce:

1. Open terminal and run a program that prints a really long line. For example console.log([...Array(4000).keys()].join(','));
2. Hover the mouse over the text in the terminal and start scrolling up and down
3. 🐛 observe the terminal lags while scrolling