User:Dschwen/editnav.js

var editNav = {	setCaretPos : function(caretPos) {		var elem = document.getElementById("wpTextbox1");

if(elem.createTextRange) {			var range = elem.createTextRange; range.move('character', caretPos); range.select; }		else {			if(elem.selectionStart) { elem.focus; elem.setSelectionRange(caretPos, caretPos); }		else elem.focus; },	scanText : function {	} }