add font extension (#5725)

* add font extension * add fonts to pxtarget
microsoft · Jul 25, 2024 · 37896cc · 37896cc
1 parent a75d758
commit 37896cc
Show file tree

Hide file tree

Showing 5 changed files with 23 additions and 0 deletions.
diff --git a/libs/fonts/_locales/fonts-jsdoc-strings.json b/libs/fonts/_locales/fonts-jsdoc-strings.json
@@ -0,0 +1 @@
+{}
diff --git a/libs/fonts/_locales/fonts-strings.json b/libs/fonts/_locales/fonts-strings.json
@@ -0,0 +1 @@
+{}
diff --git a/libs/fonts/font12.jres b/libs/fonts/font12.jres
diff --git a/libs/fonts/pxt.json b/libs/fonts/pxt.json
@@ -0,0 +1,14 @@
+{
+    "name": "fonts",
+    "description": "Fonts for displays (V2 only).",
+    "files": [
+        "font12.jres"
+    ],
+    "public": true,
+    "disablesVariants": [
+        "mbdal"
+    ],
+    "dependencies": {
+        "core": "file:../core"
+    }
+}
diff --git a/pxtarget.json b/pxtarget.json
@@ -16,6 +16,7 @@
         "libs/settings",
         "libs/flashlog",
         "libs/datalogger",
+        "libs/fonts",
         "libs/color",
         "libs/audio-recording"
     ],