diff --git a/editor.html b/editor.html index 37c01289..2e66ea17 100644 --- a/editor.html +++ b/editor.html @@ -159,7 +159,21 @@ for i in sys.argv[1:]: