adobe/CodeMirror2 — pull request #53 by tvoliter (2012-04-06 22:53:52+00:00)
Title: Fixes issue #541

scrollInlineWidgetIntoView() now considers the height of the widget. If the widget is taller than the host editor than the widget height is not used when determining whether to scroll.

Note: this must be merged with the pull request in the brackets repo with the same branch name

Fixes issue #541