nasa / vscode-pvs

LAR-19642-1: Visual Studio Code Extension for PVS

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

product icon theme contribution is not a real product icon theme

aeschli opened this issue · comments

Product icon themes are a new feature that got final in the upcoming 1.53 release.

I saw that the pvs extension shows up in the list of available product icon themes:
image

However what the extension contributes is not a real product icon theme (just a file icon theme).
May I suggest to remove the contribution point again to not confuse users?

Thank you for noticing this.

Yes, I will fix that. It's a leftover from some experiments I was doing to understand if there is a way to extend the default vscode icon theme, I must have forgotten to remove it.

Fixed in 480f65d