Merge branch 'workspace-dots' of https://github.com/Jazza-231/Scratch…

…Addons into workspace-dots
Jazza-231 · Jun 19, 2024 · 47f225e · 47f225e
2 parents 0f286b6 + 1282ba0
commit 47f225e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/addons/workspace-dots/addon.json b/addons/workspace-dots/addon.json
@@ -1,12 +1,12 @@
 {
-  "name": "Editor workspace dots theme",
-  "description": "Allows the customisation of the style of the editor workspace dots.",
+  "name": "Customizable code editor grid",
+  "description": "Change the style of the grid pattern in the code editor.",
   "tags": ["editor", "codeEditor", "theme"],
   "versionAdded": "1.39.0",
   "userscripts": [{ "url": "userscript.js", "matches": ["projects"] }],
   "settings": [
     {
-      "name": "Dots theme",
+      "name": "Grid style",
       "id": "theme",
       "type": "select",
       "default": "dots",