Scroll function moved to koodev-ui.el.