adobe/brackets — pull request #2516 by jasonsanjose (2013-01-11 19:55:30+00:00)
Title: Notify CodeMirror when a widget's height changes

@njx Fix for #2491

Use ``LineWidget.changed()`` instead of ``codeMirror.refresh()`` to update the display when a widget height changes.

Note: If the line is above the viewport, ``addInlineWidget``'s ``scrollLineIntoView`` parameter appears to have no effect. This is due to a new issue #2515.