marijnh/CodeMirror2 — pull request #486 by njx (2012-04-05 23:22:54+00:00)
Title: Fixes related to scrolling and inline editors

@gruehle

This exposes methods for scrolling a particular area into view, and getting the current scroll position. It also fixes a bug with inline editors where they would always scroll to the left whenever scrollInlineWidgetIntoView() is called--now they retain their horizontal scroll position.