Problem with reloading files and mouse scrolling

il y a 13 ans • 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.

Voter