editor retains positions when changing documents
Authored by: ruckert 2014-02-19
Parent: [r434]
Child: [r436]