Problem with reloading files and mouse scrolling

13 år siden • 0

If an open file is reloaded because it changed and the text is longer than the original window, the scrollbar does not adjust until you hit keys, so mouse scrolling doesn't work.