vdm-vscode icon indicating copy to clipboard operation
vdm-vscode copied to clipboard

Icons for VDM files in the explorer

Open jonaskrask opened this issue 3 years ago • 1 comments

I think that this might only be possible through a dedicated "Icon theme" extension. However, it seems pretty easy to contribute to one of the largest icon themes in the marketplace: https://marketplace.visualstudio.com/items?itemName=vscode-icons-team.vscode-icons

Another option would be to just write a short configuration that users can put in their settings for the icon theme extension.

jonaskrask avatar Feb 22 '22 08:02 jonaskrask

This should also include icons for the dialects, however these icons can be provided directly by our extension.

FrederikPM avatar Mar 14 '22 10:03 FrederikPM