Cleanup

src/app.js

@@ -434,11 +434,14 @@ export async function pyMinify() {
         return
     }
 
-    const res = await minifyPython(editor.state.doc.toString())
+    const input = editor.state.doc.toString()
+    const res = await minifyPython(input)
 
     editor.dispatch({
       changes: { from: 0, to: editor.state.doc.length, insert: res }
     })
+
+    toastr.info(`Minified ${input.length} to ${res.length}`)
 }
 
 export async function pyPrettify() {

src/emulator.js

@@ -23,21 +23,25 @@ async function populateFS(vm)
 # Most things work: you can edit and run files, use the Terminal, install packages, etc.
 # WARNING: if your script takes a long time to run, the browser will busy-wait
 
-colors = [
-    "\\033[31m", "\\033[32m", "\\033[33m", "\\033[34m",
-    "\\033[35m", "\\033[36m", "\\033[37m",
-]
-reset = "\\033[0m"
-
-text = "  ${T('example.hello', 'Привіт')} MicroPython! 𓆙"
-
-# ${T('example.comment-colors', 'Print each letter with a different color')}
-print("=" * 32)
-for i, char in enumerate(text):
-    color = colors[i % len(colors)]
-    print(color + char, end="")
-print(reset)
-print("=" * 32)
+def main():
+    colors = [
+        "\\033[31m", "\\033[32m", "\\033[33m", "\\033[34m",
+        "\\033[35m", "\\033[36m", "\\033[37m",
+    ]
+    reset = "\\033[0m"
+
+    text = "  ${T('example.hello', 'Привіт')} MicroPython! 𓆙"
+
+    # ${T('example.comment-colors', 'Print each letter with a different color')}
+    print("=" * 32)
+    for i, char in enumerate(text):
+        color = colors[i % len(colors)]
+        print(color + char, end="")
+    print(reset)
+    print("=" * 32)
+
+if __name__ == "__main__":
+    main()
 `);
 
     // ----------------------------------------------------------------------