Merge pull request #302 from dlesbre/add-icon

Add logo as icon to coq files
coq · Dec 13, 2022 · 7041d34 · 7041d34
2 parents cb97928 + a6aea6f
commit 7041d34
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/package.json b/package.json
@@ -42,7 +42,11 @@
         "extensions": [
           ".v"
         ],
-        "configuration": "./client/coq.configuration.json"
+        "configuration": "./client/coq.configuration.json",
+        "icon": {
+          "light": "./images/logo.png",
+          "dark": "./images/logo.png"
+        }
       }
     ],
     "grammars": [