{
state.source = '(+ 7 9)'
const editor = new Editor({
target: document.getElementById("md"),
props: {
value: state.source,
},
});
editor.$on('change', (e) => {
console.log(e.detail.value);
state.source = e.detail.value;
editor.$set({ value: e.detail.value });
});
}