gnieh/bluelatex — pull request #191 by tdurieux (2014-11-23 09:33:34+00:00)
Title: [fix #185] Holds the scroll position

Holds the scroll position when an other user change the content of the file. In other to ensure that the current user doesn't lose his line.

The scroll position has to be recalculated when changes are made before the first visible line.