Function getID

core/src/plugins/py-editor.js:15–15

(type)

let id = 0;
const getID = (type) => `${type}-editor-${id++}`;

const envs = new Map();
const configs = new Map();