+1
Kevin O'Connor 6 years ago 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.