[next] Ditch handy shortcuts for good (#1537)

This commit is contained in:
Andrea Giammarchi
2023-06-15 17:08:28 +02:00
committed by GitHub
parent 6284c02032
commit 6df5905b2b
33 changed files with 101 additions and 84 deletions

View File

@@ -19,7 +19,7 @@
const sd = super().attachShadow({ mode: "closed" });
sd.appendChild(
Object.assign(document.createElement("script"), {
type: "mpy",
type: "micropython",
textContent: `
import sys
import js