diff --git a/src/editor/Editor.res b/src/editor/Editor.res
index aa82df0c59b49e6459230f4938f17c5a2e167f80..081d6c3383d231039761f1bf9e3f2361c2b2eaf8 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