add settings.json schema

black-sliver · Jan 6, 2024 · 058f91a · 058f91a
1 parent 7b1ef31
commit 058f91a
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/schema/packs/settings.json b/schema/packs/settings.json
@@ -0,0 +1,13 @@
+{
+    "$id": "https://poptracker.github.io/schema/packs/settings.json",
+    "title": "PopTracker Pack settings",
+    "description": "Settings for a PopTracker pack.",
+    "type": "object",
+    "properties": {
+        "smooth_scaling": {
+            "description": "Sets scaling algorithm for items/icons. false = null = crisp, true = smooth",
+            "type": ["boolean", "null"],
+            "default": false
+        }
+    }
+}
diff --git a/schema/packs/strict/settings.json b/schema/packs/strict/settings.json
@@ -0,0 +1,14 @@
+{
+    "$id": "https://poptracker.github.io/schema/packs/strict/settings.json",
+    "allOf": [
+        {
+            "$ref": "../settings.json"
+        },
+        {
+            "properties": {
+                "smooth_scaling": true
+            },
+            "additionalProperties": false
+        }
+    ]
+}