Fix bug in codemirror.js: do not add string.length to cursor position *before* inserting the string, no need to advance cursor position by string.length at all, since the cursor-position after the replacement is already at the end automatically
Fix bug in codemirror.js: do not add string.length to cursor position *before* inserting the string, no need to advance cursor position by string.length at all, since the cursor-position after the replacement is already at the end automatically

jochenklar/daiquiri,aipescience/daiquiri,jochenklar/daiquiri,jochenklar/daiquiri,aipescience/daiquiri,aipescience/daiquiri,jochenklar/daiquiri,aipescience/daiquiri