Fixed issue #527
"Fix the scrolling of the terminal"
Authored by: numere 2020-06-05
Parent: [r732]
Child: [r734]