A web-based collaborative LaTeX editor
Find a file
Alasdair Smith b6a4bb74f8 Store cursor & line position when switching editor
When tearing down the source editor, we need to store the updated cursor
position, so that the position can be moved to when opening the rich
text editor.
2018-09-10 11:02:08 +01:00
services/web Store cursor & line position when switching editor 2018-09-10 11:02:08 +01:00