Alasdair Smith ba9fa9a0be Store first visible line instead of scrollTop ...

scrollTop is affected by changing viewport size and switching between
Ace and CM

2018-07-10 16:05:01 +01:00

..

web

Store first visible line instead of scrollTop

2018-07-10 16:05:01 +01:00