updated ui/dist

This commit is contained in:
Gani Georgiev
2022-09-18 01:57:18 +03:00
parent e542b0d8c5
commit 96bfc69c8e
10 changed files with 12 additions and 14 deletions
@@ -359,8 +359,6 @@
addLabelListeners();
console.log();
editor = new EditorView({
parent: container,
state: EditorState.create({