1 function scrollEditBox() {
2 var editBoxEl = document.getElementById("wpTextbox1");
3 var scrollTopEl = document.getElementById("wpScrolltop");
4 var editFormEl = document.getElementById("editform");
6 if (editBoxEl && scrollTopEl) {
7 if (scrollTopEl.value) editBoxEl.scrollTop = scrollTopEl.value;
8 editFormEl.onsubmit = function() {
9 document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop;