editor: plumb support for scrolling to target line