Function writeAndRestore

docs/components/editor.js:234–238

(text, start, end = start)

    // Write `text` and place the caret at [start, end]; clear auto-pair marker.
    const writeAndRestore = (text, start, end = start) => {
        jar.updateCode(text);
        jar.restore({ start, end });
        autoPairCaret = -1;
    };

    const apply = (result) => {
        if (!result) return false;