-
Christoph Cullmann authored
before, we might miss to scroll to make really the last line of the output visible, that is confusing (cherry picked from commit 7dd8812f)
8cc647a3
before, we might miss to scroll to make really the last line of the output visible, that is confusing (cherry picked from commit 7dd8812f)