#40 Tools - Differences - Scrolling with the mouse wheel should be possible

open
nobody
None
1
2014-04-26
2014-04-26
marQIsoft
No

Nowadays, the main way to scroll in text is using the mouse scroll wheel. This works fine in the Tinn-R editor but has not been enabled in the Differences tool, that I use frequently to compare versions of my R scripts. Could you add this, please?

Discussion