marijnh/CodeMirror — pull request #1256 by njx (2013-02-16 00:27:23+00:00)
Title: Avoid scrolling to cursor position in a non-visible editor

Simple fix for #1236.