diff --git a/src/editor/Editor.res b/src/editor/Editor.res
index 510ce0f4ab0d2e4bdfe1d327c36d09259fa79dd7..aa82df0c59b49e6459230f4938f17c5a2e167f80 100644 (file)
Binary files a/src/editor/Editor.res and b/src/editor/Editor.res differ
Binary files a/src/editor/Editor.res and b/src/editor/Editor.res differ