document view forgets page position

[renard314]

A possible bug: when switching views, the app sometimes seems to forget which page it was on and goes back to the first page.
In a document with multiple pages this means you have to swipe a lot to get back to the page you were editing, and in that process of swiping I managed to delete the entire text contents of a page somehow (and there is no undo function in Android).