Function updateSnippet

wasm/demo/src/index.js:85–96

()

const snippets = document.getElementById('snippets');

function updateSnippet() {
    const selected = snippets.value;

    // the require here creates a webpack context; it's fine to use it
    // dynamically.
    // https://webpack.js.org/guides/dependency-management/
    const snippet = require(`../snippets/${selected}.py?raw`);

    editor.dispatch({
        changes: { from: 0, to: editor.state.doc.length, insert: snippet },
    });
}
function updateSnippetAndRun() {
    updateSnippet();
    requestAnimationFrame(runCodeFromTextarea);