rem: var editBoxEl = document.getElementById("wpTextbox1"); var scrollTopEl = document.getElementById("wpScrolltop"); var editFormEl = document.getElementById("editform");  if (editBoxEl && scrollTopEl) { if (scrollTopEl.value) { editBoxEl.scrollTop = scrollTopEl.value; } editFormEl.onsubmit = function() { document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop; }; 
add: var editBox = document.getElementById( 'wpTextbox1' ); var scrollTop = document.getElementById( 'wpScrolltop' ); var editForm = document.getElementById( 'editform' ); if( editBox && scrollTop ) { if( scrollTop.value ) editBox.scrollTop = scrollTop.value; addHandler( editForm, 'submit', function() { document.getElementById( 'wpScrolltop' ).value = document.getElementById( 'wpTextbox1' ).scrollTop; } ); 
context: function scrollEditBox() {	var editBoxEl = document.getElementById("wpTextbox1");	var scrollTopEl = document.getElementById("wpScrolltop");	var editFormEl = document.getElementById("editform");	if (editBoxEl && scrollTopEl) {		if (scrollTopEl.value) { editBoxEl.scrollTop = scrollTopEl.value; }		editFormEl.onsubmit = function() {			document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop;		};	}}
meta: 7966	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7966/172effbf17c85cd15afb2e1264670b487c030e5a/wikibits.js/buggy/skins/common/wikibits.js