diff --git a/package.json b/package.json index 133cf1ac3ee3828fbe88f39fc3a10dd37a524529..34bb840fe90f1d7de1f0f194363fd07d5ca48a0d 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 4a628d940467bfb1736b2af7b07d6ce514a1352a..0000000000000000000000000000000000000000 --- 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