Method $setupModel

src/ext/diff/base_diff_view.js:143–150

* @param {EditSession} [session] * @param {string} [value]

(session, value)

     * @param {string} [value]
     */
    $setupModel(session, value) {
        var editor = new Editor(new Renderer(), session);
        editor.session.setUndoManager(new UndoManager());
        if (value != undefined) {
            editor.setValue(value, -1);
        }
        return editor;
    }

    foldUnchanged() {
        var chunks = this.chunks;