diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html index 18c759ace8d..de3cd07a933 100644 --- a/misc/dist/html/editor.html +++ b/misc/dist/html/editor.html @@ -7,6 +7,14 @@