js: end-of-file button does not always go to EOF #94
Description
sometimes a few lines are missing. even clicking forward then does not make them visible.
when starting from the beginning of the file and clicking (quite often) "forward", the lines become visible.