Skip to content

Commit b8d27bf

Browse files
mhuisimhuisi
authored
feat: forall icon for lean file icon instead of website favicon (#767)
The website favicon is too visually complex for the small size it is rendered at in VS Code.
1 parent e643566 commit b8d27bf

File tree

5 files changed

+520
-2
lines changed

5 files changed

+520
-2
lines changed

‎vscode-lean4/media/lean-file-icon-dark.png‎

-1.48 KB
Binary file not shown.

‎vscode-lean4/media/lean-file-icon-dark.svg‎

Lines changed: 259 additions & 0 deletions
Loading

‎vscode-lean4/media/lean-file-icon-light.png‎

-1.46 KB
Binary file not shown.

0 commit comments

Comments
 (0)
⚡