Method replaceRange

src/main/java/fielded/EditorUtils.java:126–129

(int start, int end, String to)

	}

	public void replaceRange(int start, int end, String to)
	{
		editor.sendJavaScriptNow("cm.getDoc().replaceRange(\""+to+"\", cm.posFromIndex("+start+"), cm.posFromIndex("+end+"))");
	}

	public void insertAtStart(String insertion)
	{