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