Closed #65: editor scrolling