It looks like we still need ``editor.refresh()`` to get the line number gutter to update in the case where additional lines are added before the inline editor's document range. I'll try your suggestion for the host editor.