Add hidden option to pxt.json to check if it hides extension from search.

microbit-carlos · microbit-carlos · commit 5e727a50c876 · 2024-11-14T18:45:44.000Z
diff --git a/pxt.json b/pxt.json
@@ -24,5 +24,6 @@
     "supportedTargets": [
         "microbit"
     ],
+    "hidden": true,
     "preferredEditor": "blocksprj"
 }
