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