diff --git a/src/editor/Editor.res b/src/editor/Editor.res
index 4beb567742d28d41fc8758dbf76e48861efefc29..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