Merge pull request #3369 from WoltLab/codemirror-scrollOffset
authorTim Düsterhus <duesterhus@woltlab.com>
Thu, 18 Jun 2020 10:03:22 +0000 (12:03 +0200)
committerGitHub <noreply@github.com>
Thu, 18 Jun 2020 10:03:22 +0000 (12:03 +0200)
Preserve Codemirror scroll position during server roundtrips


Trivial merge