Editor scroll glitch when switching between files

When switching between files the editor doesnt scroll to the last cursor position. Instead it jumps to a position which most of the time seems to be the same, and sometimes perhaps even related to the cursor position in the previously edited file.

It does actually remember cursor position, so some keyboard input will force the scroll where it needs to be.

Android tablet, Chrome.

This is the current expected functionality, but we probably should make it scroll. We have plans to revisit the editor functionality, so we’ll look into this then.