From 66f22e7eaa81072bb769b85354c56fa9a01576e7 Mon Sep 17 00:00:00 2001
From: Volodymyr Herashchenko <herashchenko_vs@proton.me>
Date: Mon, 9 Feb 2026 16:27:54 +0200
Subject: [PATCH 1/2] vscode: fix icons and `.json` files

There is an issue with displaying icons -- `icon-theme.json` counts as a
separate icon theme, so other icons besides `simf` and `wit` didn't
displayed.

Also, I had removed activation of LSP for `.json` files, because it
works on **all** jsons, which is not desired
---
 vscode/icons/icon-theme.json | 18 ------------------
 vscode/package.json          | 18 +++++++++---------
 2 files changed, 9 insertions(+), 27 deletions(-)
 delete mode 100644 vscode/icons/icon-theme.json

diff --git a/vscode/icons/icon-theme.json b/vscode/icons/icon-theme.json
deleted file mode 100644
index 6559bef..0000000
--- a/vscode/icons/icon-theme.json
+++ /dev/null
@@ -1,18 +0,0 @@
-{
-  "iconDefinitions": {
-    "simf": {
-      "iconPath": "./simf.svg"
-    },
-    "wit": {
-      "iconPath": "./wit.svg"
-    }
-  },
-  "fileExtensions": {
-    "simf": "simf",
-    "wit": "wit"
-  },
-  "languageIds": {
-    "simplicityhl": "simf",
-    "simplicityhl-witness": "wit"
-  }
-}
diff --git a/vscode/package.json b/vscode/package.json
index 7fde4a8..5376778 100644
--- a/vscode/package.json
+++ b/vscode/package.json
@@ -28,6 +28,10 @@
         "extensions": [
           ".simf"
         ],
+        "icon": {
+          "dark": "./icons/simf.svg",
+          "light": "./icons/simf.svg"
+        },
         "configuration": "./language-configuration.json"
       },
       {
@@ -39,9 +43,12 @@
           "simplicityhl witness"
         ],
         "extensions": [
-          ".wit",
-          ".json"
+          ".wit"
         ],
+        "icon": {
+          "dark": "./icons/wit.svg",
+          "light": "./icons/wit.svg"
+        },
         "configuration": "./witness-configuration.json"
       }
     ],
@@ -203,13 +210,6 @@
         },
         "severity": "error"
       }
-    ],
-    "iconThemes": [
-      {
-        "id": "simplicityhl-icons",
-        "label": "SimplicityHL File Icons",
-        "path": "./icons/icon-theme.json"
-      }
     ]
   },
   "license": "MIT",

From b3f07cda421e6df6261df368c2774a1d3fed2b3d Mon Sep 17 00:00:00 2001
From: Volodymyr Herashchenko <herashchenko_vs@proton.me>
Date: Mon, 9 Feb 2026 17:06:27 +0200
Subject: [PATCH 2/2] vscode: bump version to 0.3.1

---
 vscode/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vscode/package.json b/vscode/package.json
index 5376778..0bc207f 100644
--- a/vscode/package.json
+++ b/vscode/package.json
@@ -2,7 +2,7 @@
   "name": "simplicityhl",
   "displayName": "SimplicityHL Language Support",
   "description": "Syntax highlighting and autocompletion for SimplicityHL (Simfony) language",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "publisher": "Blockstream",
   "repository": {
     "type": "git",