exports.scroll_delta = function (opts) { const elem_top = opts.elem_top; const container_height = opts.container_height; const elem_bottom = opts.elem_bottom; let delta = 0; if (elem_top < 0) { delta = Math.max(elem_top, elem_bottom - container_height); delta = Math.min(0, delta); } else { if (elem_bottom > container_height) { delta = Math.min(elem_top, elem_bottom - container_height); delta = Math.max(0, delta); } } return delta; }; exports.scroll_element_into_container = function (elem, container) { // This does the minimum amount of scrolling that is needed to make // the element visible. It doesn't try to center the element, so // this will be non-intrusive to users when they already have // the element visible. container = ui.get_scroll_element(container); const elem_top = elem.position().top; const elem_bottom = elem_top + elem.innerHeight(); const opts = { elem_top, elem_bottom, container_height: container.height(), }; const delta = exports.scroll_delta(opts); if (delta === 0) { return; } container.scrollTop(container.scrollTop() + delta); }; window.scroll_util = exports;