[v4] Uncaught TypeError during setValue after editor construction

[jasonsanjose]

1. Open this jsfiddle http://jsfiddle.net/jason_sanjose/Hkzs7/1/embedded/result/ (see code below
2. Open developer tools and observe Uncaught TypeError

// simple CodeMirror instance
var editor = new CodeMirror(document.getElementById("code"), {
    lineNumbers: true
});

editor.setValue("");

Stack trace

Uncaught TypeError: Cannot set property 'selAfter' of undefined codemirror.js:2720
setSelectionAddToHistory codemirror.js:2720
(anonymous function) codemirror.js:5070
(anonymous function) codemirror.js:1520
(anonymous function) codemirror.js:5317

[marijnh]

I expect attached patch will help.

[jasonsanjose]

Perfect. Confirmed the fix. Thanks!