+1

Problem with reloading files and mouse scrolling

Kevin O'Connor 13 jaar geleden 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.