/** * FEWD common js lib functions * * @module */ export { auto_resize, auto_scroll_to_bottom }; function auto_resize (checkbox_element : HTMLInputElement, target_element : HTMLTextAreaElement, max_height : number) : void { // if the user has manually resized their output, we do nothing if (checkbox_element.checked) { let target_height: number = target_element.scrollHeight; // resize it automagically up to 500px if (target_height < max_height) target_element.style.height = String(target_height) + 'px'; else target_element.style.height = String(max_height) + 'px'; } } function auto_scroll_to_bottom (checkbox_element : HTMLInputElement, target_element : HTMLTextAreaElement) : void { if (checkbox_element.checked) { // scroll to bottom target_element.scrollTop = target_element.scrollHeight; } }