From 071292561dfa81aabf833e31c25d3c5b0cc91f0b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 26 Jun 2023 14:06:52 +0200
Subject: [PATCH] Switch to new way of defining file icons
(microsoft/vscode#140047)
This seems to work more reliably when installing the extension normally
instead of running it in debug mode.
---
package.json | 19 ++++++++++---------
themes/b-themes.json | 11 -----------
2 files changed, 10 insertions(+), 20 deletions(-)
delete mode 100644 themes/b-themes.json
diff --git a/package.json b/package.json
index 133cf1a..34bb840 100644
--- a/package.json
+++ b/package.json
@@ -94,7 +94,11 @@
"aliases": [
"B",
"classical B"
- ]
+ ],
+ "icon": {
+ "light": "./media/prob2-ui.png",
+ "dark": "./media/prob2-ui.png"
+ }
},
{
"id": "rmchAddOn",
@@ -104,7 +108,11 @@
"aliases": [
"B",
"B DSL"
- ]
+ ],
+ "icon": {
+ "light": "./media/prob2-ui.png",
+ "dark": "./media/prob2-ui.png"
+ }
}
],
"grammars": [
@@ -128,13 +136,6 @@
"language": "rmchAddOn",
"path": "./snippets/rmchAddOn_snippets.json"
}
- ],
- "iconThemes": [
- {
- "id": "b",
- "label": "B",
- "path": "./themes/b-themes.json"
- }
]
},
"scripts": {
diff --git a/themes/b-themes.json b/themes/b-themes.json
deleted file mode 100644
index 4a628d9..0000000
--- a/themes/b-themes.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
- "iconDefinitions":{
- "_b":{
- "iconPath":"../media/prob2-ui.png"
- }
- },
- "languageIds": {
- "classicalb": "_b",
- "rmchAddOn": "_b"
- }
-}
\ No newline at end of file
--
GitLab