From 3888d4327d9f457fad6f1f72ee23b7127a5b752f Mon Sep 17 00:00:00 2001 From: spaceunifyfifty <158013953+spaceunifyfifty@users.noreply.github.com> Date: Thu, 12 Feb 2026 10:37:41 +0000 Subject: [PATCH] add icons for `.lean` files - default blue. Both a white and blue variant of the favicon logo found on the official Lean4 website are included, though only the blue variant is used by default. --- vscode-lean4/media/lean-file-icon-blue.png | Bin 0 -> 462 bytes vscode-lean4/media/lean-file-icon-white.ico | Bin 0 -> 104775 bytes vscode-lean4/package.json | 6 +++++- 3 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 vscode-lean4/media/lean-file-icon-blue.png create mode 100644 vscode-lean4/media/lean-file-icon-white.ico diff --git a/vscode-lean4/media/lean-file-icon-blue.png b/vscode-lean4/media/lean-file-icon-blue.png new file mode 100644 index 0000000000000000000000000000000000000000..bdd5bc99bf62fc4bee76a998db082420d064ad6e GIT binary patch literal 462 zcmeAS@N?(olHy`uVBq!ia0vp^4j|0I3?%1nZ+ru!6a#!hT-^(NbQ90vK@kS=-+_v` zN`m}?8D1sU3SIc3ZMQVw#IBDF42(gZE{-7)t#7BD7Hd}EaY<%n{Qti>+u?``^V;Rw z{&QW$?ef}BE>^AjvLZ9``nkEH*@6AO;f$BBH*mh>T9Evj@ecQciR&2Z-W{3G$oDcX z^oRC=9v2pUXND`+d$+`}zF7O`RYr-s)=X^|!;kJPic$^{fuh@1_NLqwYV3~gIOeoQ zGNOsskcr#Qxj5;aa>M+2ikn;3aWEw4zB%#sx41I{L-N9BrvxSVITmmSHu4nAYG62Z z=-_GBf>$B}3c4~of?Qo280yrouDxk=_qKxYAqjyeJI*i#Jk#Z2oN`6M%R%m^0ZYM+ zughO^e7SP6_X6XF)}3<8WViPoa(uyfNABy+MM=}N7P2RBdv4t-Kv%iV8GI^GT&`2r2Ur6%WShzOmU7=0;2r?SF9bM-V@m*wfqg(TfNcVKP+kvw z3Fv`d0PX$^@B%n?8PFOS2ebghSn_rN=j{OW2Pj(v_!yup{b~bHc08aQ&zNy+WkBep z%-g`Xz&4;cAo@a3rmv!29p%ZuD?kCj9jFUT2R;S51Dr$j4MVvBAja22IUM*LSR{jS z7z>OBXq)IGr!2>a@$_XHz?d`N0&Xbh1!#`|b3X-8`p+``75W6{`l%0e2Hupx_^t$$ z@klXVu_iQ-qx=YfJ`+O$+ONz%$1|qJc@^VXrwvN5Z33XQzcK3X1E%Bc(KZ-h4!918 z1;F=!as7gG4A&mxV>+Jm76nS1fNRmXf544nl-$JrRQ*a>J%kCJ3^0p?WrIjDRv9qAdDF-IR-dB{!8}Jv~y4;acT6%QMq-9kR}|#T%ep zDz$7=pfJijZ&JybHYmn$4_yFyiZ;rMGWaOqCxE(Bs9{|Jo(rdeci5H|DaJUVyc!@K z2I#9&C(FDJT?2}+PY}xrv_knhKpF`MF|(ZgG6KNw06T#gpg$n`1fPPoD?sx6CNjLX z+yE{D_klF$N59ZZ-!}kf0iHA4fnR|_fRG_iF~3RQ8>rs|#C4T+1XIQmu}=oi;eUZi z0IwB&fQP^!K**#ue@Dng0i2ubllT*`I6wM?UaocePGWA)0E{2$7~lyAS#$n(LjT{u zZa@oA))%mLey*2TU=uJO5Z8y5C^Lu37?{rA75)DJI{+_0*qP@13OQbLz6VYL#yw@y z$8~TV5bHq9|0>$v0&WA_fMS4{J6-=3vRpItk=IA%cu^Mp1LS_re-&U}Irmn8*G3^P zxJCaJvUySFUSp1hf5xS%ka3k|xEFYB4h7Z? z@cEY4$@@TB@#i&{*LK>fm@RdY{W7SJ_d2xO8Vuw(Q(_z70cZi9Wu_u2>g<=nwO29& z;95+fixpW{3Z6?z zL+39|)uAjP+Q|>bTL&>O-&5d~suTz$zo#grzNbJqR8k|5sR&?ir8q}L-I6lVZ^|vn zo3@*d6LnKLYwKb>IIl;g0N&#meKMy*?&Gs#X+R6`e%qXAsy52WZ~!k36clZ#gso^0 zW5KEKGl0*0Zv*Ms9{`yffF3Z~kk)iUpUgSeSl|zU&w_S9TEi{&ah#0$;CBELpT`RW zW_^&`+ko@=>H=VtwKxenj`21wrknX(__gkHvD1t5ra@jl(yZ)%s^&gTf; zpPvKx{B0^`tg~GK+8zo#1q7``A*=Q`gpL@1&nrg((n+8Qkje+SEu;4H9h(mL4~PS} zPDz=vALB$^82hiO2*h^@H2}WDBMk*IWxp6FbDjs&0ou*n&Ib65N6M=Ge$WvMa6NVa zXzw(DbQ&lMr0_wmTa3SumpN^p32?0uvjDE6sQ@X%_G65QJ@u@n63}LVb@urH7Xgy- z`4>ESeX|UhwO{TN`uXl{4j^o&AM}U)B1T!U-yeDyd(syG-!1i!u@{_l7AOuFZK4x$ zIhFlFM&`7A9>Dd&HP3hp+cRxHbcp#G>$QM2G#Ww~v7gtr`9K0d+jW4*t(ZSk@rNEU zzB$VG0iI<%YkoEX&mo@eB<7$PAjXngioYBBJ_Tqybx#INZRhw5+mA6~e&%r_K;pVD z1aMv@`1y84;4(l;-UldKvY+EWr!eRV5CRyVjloT?2U)S7vEy0K_%jc}FLOK;{Up9q zNr>|>a?AEh{UsO9N+*Lb&Aa|>fjl&UonpRYAZnE`cKZSn1dYc0wqzt0+9G# zM6?V0e@9yxUJlHz#Aw5j0ZXb){a-owZJ%DpSy|iN}H8s(GSk`^9e8)_$Y(;5b_IvSwJbEG(cZw z1MJJFKHe8`jJ5VNN6eKih-;s)1zEd(X#YxiLY{+*fiE)%p7D!-3Nlz`TSoP8ZrVVi zO|(t9WKxvbC(8)?r^#)~_4vHYw1M>h+Wr)YdJYxDTjbd$@z0FO3LAtinc*+meh2u$ zd(QkaXW3ft`G#jMDNE}=3-Payxeo)s06%8}e_;&iMcLm5bMyW)tMsDm=d%p2oxB&y zC^&92KzdR3XJ*eT$4p5w|M}aWnLQ)Mz-HmY3p;;=Et%mt!G47eB9@uqQ(x5jk?nT} zuMY58BBQ8=F?@z1Wn};InU}=-c4N%4um+k#M>N3q0GYv4j3dz|JHVnT?2~0a2EPN0 zmD?yEwVKBsBy#xa*{eP_Ies_j7{F)weLw*q-La+u9HYQ% zD6au-09ygR<2D_Vr8@P=U~I*APEa)d?Q1c)FU>h*87(;91CV|LjL+t24m9b+7-0)J z-^+@3t0)@38{`3QGAe6T>XT6m{BJ->BT+H-r!|W#qXjnrq%%N<{D-`-gPiM~-(ghJ zaa3&TKlF(?xmWr5rzxF9LyGUbnTrEts7DJJ08)nhhrF1pFm8WS9T-pr1J>asSr2pW%q zP5l@8WX|`G`vF1po!>EGOnCN_Z00|7iMTtUyc`g;5C!8k7W_>>tbvOt(-yNaklVH3 z27r`i{?RYyC#UZR06~0@+!CDZAYS`j0B0FI7np}f0EuTJ?J?S> z41nCG1y9p|F;?dM?#)ktAm+IPAbcm!PX8N0zsP+8%FG$}{4NEU8{t2S#_w)t%72Vi z`c)D2qf{ux2Q|i-2kXuY2aezW%^{fRySSKpS;y0s2ES=RcpVP8xfY{&y9u z86fNu;WTo&-Dde$%+nHO;S238ujos*#iWff+X4s*MZqYm$dwjt)JHP)pT3_m_9Xp} zF>C@P&zHh^ROCLJ_^+6U_cfaULDNwXbD5f8tSkE4q5M!DNc&4D`lv$-7yy#ee?C{S zE{J3O0c+;9wf{;Vxc*X|Wu`$;*lBt{5TfWa=Rcp->H_?`0znZdGzQZ2oi@laS@vHs zm#O`siat}fQ`8l5Z=fvB!W7R1Xx9P;fW);<*>kMO#BzN=_?BW0(~2x-OaI@5PH{hb z3FYMVYdW`SU14)xly?AvlAjCEpaq2g{B8xWYl652xE8GPo%74GS@K^oUp|z1Un3~l zZc|?^)iF@m)Cpw~N3H>Hxlao&{6{gF&Z1NY5aTUPk)mCex0V0hpzjGlIuB?8qdh4m zO`{^@!5Pb)fS^$*P?r`k^`HBoCXgZDX@)$;7XBB2E$<7p%P7w3~Mi2180PVHaJcDGN znf0G*hHEFgh}SvpeL{K7v-NzLUH|m|xUG#*=(~Zk@So-EBKnY-{jc=@9&{`KCIORe zfKccd4&;}?awuR6-L#Rm(q@t^{AYfA09%|*&qD`o6>G{C{_`DM$z0?=ZKcg5oBD6* znvql5;V;*h>c5)*9KZhMwVEC0VYZ!rw%q5k|GYPS9pLj`4I7{ubaVjz21q&f{DW=G zJ@0{j19-iTu@U}-o@W3lr~A*fD)y?;U>pB0r~CgZ{QU;l1MppwEpP~W#CwLE?!O&u zzk2`kzcVGr=HHgrQlSg$p6f}?e=f+soU82E|NM+b zTvK!G`j`FZdscovt^6*;HV971UgOuPXSU^@-Ns1Z;j zphiHAfEocc0%`=*2&fTIBcMhgJ0pP4H!XfQi+$Ne>CG$pvupm0=oPl4#WSKWC&|h_ z@oz@>ok9M+Salh%fE(9FcGxTH=HIDQlIIiil9vWD^c}V`zXCD99huJtH~I!{b33RL;BWTuyTD>z&K(PE0rCJgpEn~4Illt+ zP(BP?1+D;*z?Xo{zsH*q8?zz{+l7B)Q8p!hhn(O0H_BvX9&=-5y*}Uuz?2T4!4)t! z^trTgZUyS1%-r6171Gwiw8WXnltvkWabe~Zc-eTqioISg*g>BZbW&>IPu(tb3& zu>50gVIO$|K>7P|s3z0*DCPG2o7?-s!CNTscN2~Au;l`fb>_JI3twg42>b$IiE?HB z;fz?{z9^^VAN}Sv&K|I3`o;V?D*yCRfo3RQ2GXM3p8rW{IVbn=Z=UJ^#@N_u5y<*- zO#X#`GH(HX4M>l2UH;*aSmS)gN^gA&|C7%Ej<*HLcI1fs%eIKPv_{fmE#=nymw|)k&Nu$X&0`DBFGsuaSr_qdJ#Ef4`8V;^(%$ED&J;lW)(wiu#CJ1(fKAQ-Sy&nPp_&mtm_5hv&ro?x%O@LgRe_^}K-vW;UED>{G8{nR~X+|hlmlzV#$@JUKpyJ@9toI|P4f@s!YA_da{nu2l0Wy7 z$L7lXEBv-Y`9r`Q@pCONz!)RuQk21YeKdF9dmrs>gj`O}zpzo}>E-??L&Qzg?E8_fF(MFjtYPnlOhyyd#=jA!k4u6{t3vvs*p|g-%J~? z^}Obr63+mh55}=60+&uj9^(TZ37Ar*^AAPB4||l~2hz&@kLYJ^#h6r9%YC^u|CaVX z+%o=KOne@kl@2KL3GfeKj<%zb_X!zV1G2nL^Dk@wXYP5nnOn1HHqsvaza(HW_goBe zf3C^D!XNH^{<}rlO?*D+3cS$#i}}H=$^9>=={fEu}`hZJ#wf`|lJ)L^K0@uPL$1=WVVg6KyJ!^eb{Sm?=x@wZU?{T!aQXK zKVZB$vif}h1~aai%D+68RQpps=60=X&N@W{K9JBgH!o3u(64jPaZ= zx8y$nw(>g~ro_G94=~2gqO<9Ai1FZgfQ^7Tvg!=LK-%I1L;|LiD*q5L+Aecza=#j~ zg_YydanEeGJU++fU*RA3{u;m>F`gbkmh#U42_4{V0dx0TR-FN|p3LOm1!JcIY3=(} z=r1JCktLsH9l0U@O<}9Kz0YgoTOt-_7kLI6g&y$qJ{RB_VKMe{U%L4hI%Lk=&jfg$ zSt6U|Ua{VDWd0EVV|>9G>+dWCWG~wD0~T|Uf%F?ig)VTu`!{z6@V#qGA!km%+?SF3 z=fjvez;nxeF3Lae<$3O!Ql{R`n#-564U>pbAUNEM{H+*^7Ren%%N(7;(^fWO zQe$4hI|An3zwv(5>=_`BwUmF}vlIaq0+w>m^WYPJYed*#rRCO($+~lD{&`<-F7Dj> zd_FVA#d>cuCMooTGY2~Xb7b}mfFNzNl>g)CTLGk%d)^OZ%e74z1naduWq8 zun#at-=Q(h=P#v?St(;4+Cp$GntLWUdj`m3e83|CQ;I`Ff@z~%=e|#od(^YyLYiZ# z8_0?I?+&{x#hdQ}jCo1ZIU96}dBD?JkEzZ8d7P#EquVSo_X~jJeUGvYys)f-`hgsg zf7uq=;{os<$sDDMwPo*Y(*q-nYYp7env6kTBO%9G<+2ZWBw!6O_a6ay0pobvSf92Q zd9Iw6|9-H`+Y-v=^r%I0j$YCb3X}qA?KNJTDCQ(m$=LK>~{+q)V-uIjCtuN3fV){bj zBqoI&Vhy~FGN0p>bP*N)U541x%>NCg0LpxyH4zXpLiG#bu!H`T2e`*fiSJ&Gc4nt> zm_x*roY&XBz!8A&$8G`D0i#TI+F^}uVFx(xQ-20X5kLsw11No=%p71j@D;EE;2D=A za!-F@3!w!z1BU>fYs62$EWr3oV@+(bB7=E^ErRp2&Vj&CKx3v~$h}D38Frb=`-`+G zGjrR)557-zHNkVcFU7pVZqCVfAhgFtE}PnwQ|d}PX%lT`EQK$Y;+j+JPtT6$oqwJ+ zJac&Vh;!(mqAc2S3Rl|3vvVC#1Q7XWnQh8*HK*8~o*m4=^FIH1U9|LhFS>F(U5AA} zfXF|~Y|E|mT<-rA_aV&x_qjD#usaek%|F|6D=`}6P4_?Bax3MO{PXhwzDK#1gJFPeyr(J-@GK)(W*hr*vh9p5V{A$}CI5fJuqHq; zz$*viHQ43=i2Sq6ww!D;W6Ibv#-@~0@_!SCl?6mxRc_l@Ft&`bDdnX6mxFQE+)Ao4 z8HfO53NW^6{xcA_mqk>~|I3oe%=w|_KXY+=Sw^Y(e_1k_IX~3=XD)6p%P2MfFH0sf z=ZBjA%*E|x8Kvg`Wyxgb{800sxwyS7qtyJrESb!lA8P(H7q|3A$#KmspHq~Ez3Thl z^pcu^emVdAeq~djT@FSY*fs>X3z(An`A-INt`tQex%aieC4he?!oTy(so>w+BmkzQ z=3klA43rT_=HCa11ad2>`OiSkm7++vntx?L(kaXFasua?GbP@e|@%!FM_fctE)GC^PfGrmE)RQ-v6ub ze{H-B6#2JDIVXc_v?34%n3DSWPbSv|0?D}Y_w4y^xUB`& zs1eA85x{4gFFon~@S!!3XmB_Bs@KYOeNtTqX6$DHlw6mR>XLI(e}YLpKB=A{`k#n8 zzC})bu}SrK37^cfZb+&>5p}(&;}doE>yqlRl3bUP>!IvVFsaAOb%TUX{P#qz>*YH1 z80|-0%YMii>pD$R9qmbVCvf!ZB>$wkb5dQB^v1g64hJQ_1j)`=hZ)9tykwtTw@3dI z$=O(kSrY5;KDlm(xo5}mko@%ckNR1cP}fPJ#yZS4*73jp)kCGm7-Xy)*dHo2 z#3V^|JE-uJs=_E^U2m5dZ>+n^b$isc7^6+9>+BIp*8SwVGwSZtnN)|KL}NWsuER*l znKm2i#zmk*9ZBYV(1py|8)L~j=0bhB0g@dTQ%#1a}Gs2$;An*_sF$_B&pzv*3Fu9 z8F%T<)k)!fx=uQBFJ_l-o>Cq@E)H8Ne*bC7{^9ga z8-91yY@afqqF2A3pZ)q_`O*O^ox`awRbBXsTa`SmTeTY5E%C{n z;2vWKMou_&Y4GxA+rK(>-0Q*3yTRu#PFOzp*`v!neM)4WJ_zZ$e{t}paZM*ItX-?# zp`c>ryDg0SuYIkF`#b^pF`+eNo4-?c;0a~#9Ed^2c+3mkDpYb-{XJ!G=F8akq(fCii z9rpe|!r3p5yBy!R$JZ;|t9!oVoA&sgeN&n>+%K?R?G1OvU7h>4?xNm%be;b7U8Q?> z9HN&zYo!_WO2>eIo)-MtLS%%khcDOgRP^*zN=z`>fp&;^Xo-TzP0pn^wK#0_H|q3AMUmP z$9j(!1P@yleD}SmD-D(g@0oTxM0a8Ke;-e5eqr#r+dte5mZ~^k%Ny?<``+e8e$wZk zG}^JLdhLGUjZZn9e4LQ@y?%%8nC^0(BVE3@UR*!Xu;}~5n}6GNup4V%rQO4x)weWu z*R*#YGx+AG*BS+ujy-X5eT|QOsag(SkkCz4C7}oN}$z3(hoo!d;)-&y>r(gY2 zValOp!3{c`yX?^Q@R+D8=a()Ydhzz8pX=@Tbo;5_w>}*CMewkV#jey_)_c*ld0Te` z4_h33_hiuEFHhQ^+|}(p=VPx<{P~Mc|9$i=az2`%suC!bh9K3DP zzXNX%oE<#ujb_r)tG|q1yz!%^OM`dRi`w4oy9FKUKCHfL@57P0;JXtF+#ZE^1T5-m zfAF?jQR!s89cOyPmU9^SLuqOKUe{R7h^lAZTYLWJ75Kro@2{FP&%ST5dyn&m-?!^E zV`Aj^i19P$OTkUL6~DChS81HIv--%zKSi_-@Ndw4p1m%z?A>`MyXrkZ3od)Jp`lVC z&Bm?+rMl6D4KqtDnowoErp&$l?;Mqe&*~k&L4T;@rHgS_JUV*((6qFj;m(lxQpFOl zhL-N@xuAZ`huhp^y{~&;>oMKY|Kb>zuoWAB>p1#Ko^hT(t=Dy%I;O&@Gy0VuA8Yp@ zq2y`zF!vkNbv1hpv@>+Io8Rd>*ShO|eN_9+({WYo2equ!c->>|nG+O( zCecs7&9nB{%3~V)`<@=L(8>Sw{ob>$-q+qJvh}Mfe|W8L6%*=par`3Jm>MxN_4Ok5 zIq$B2+JCfn=gm%^7p(K|@e&62UqTLa8MAuD9uY2lV)%e-% z&lfbe`@{kxN?hEf+Z5BPsdt=Tp7?@2V*1?}uzJAWBAUFn-{4M@AzathXkjHV!O51hIZ^Fjcf2{(dgd(L7pQjT%6iGPjsuez{gDv zKS+3Aw^_RU&#=9N^KH0RxtZ^2mp9f*`jGV{y6TtQ9`>Z%_p8MbE^= zg+$o5`!vA6Nyqs;?e&+dh0b~SR<*ABfbU#y{W*G2%>C%uZi~+!zLq$B%CS2hnuCKs zpHuT&jjn%`W^%!Cy{@`xx0KY?X*1C zuY6&W!%D}3G?j-cZ{!m$UD~A!Pn>9x<-;FQo1{<_stQz zdpQ=j+gp0%;@dxmB)Wd|_M(xA(?$jaYHzh)u%k&yjedjXD=Z1$p`-+#R6V${W2{qNNeNjx3yD~)K_#N~(4 z6Sg-Qpz#?|@m^PbgYW@2D?gbVUG|9E?-%0YesvA|Fnm{uutzgO&ep0R&G=4p(|%3h z*{a)y&3tX^<9>PL?Q13FMRyjsyFRC%5`##uP~wu z;`rO;SuxKJG#_&+blDV-Cw_*edcRH$9r8QxpA``JPSIDTCY~e8hga@@uaC~}>w%9K zJMT*@fB0cShXLn)8?-iYd!*r6=nOa4>On3OX9snR2%PlG0*nb;vSrVS{>58N*q|$M zG@*`WY{0XA3H!?j7&=`a_VCd@uL(gD`#Y7I?q9FyYtps+4;qfhbN-myd-=ya?p<-c z&UgN^o>g57lg*^sXKuJdlMC3PCLC}IEGd!+C$(HCBAk;OLUDvCS)=y>u<|)oJ=QMJhXdE``ny@ab7mqrco^``hm(9;o)A{eis2 zuOv24%=7*3$<>3m3^qKT^Q6)#yG3WOUkm+hM)^7p`F{!s?7wr|bp7$31*EVz-G-8j z#=F(tGvd?Yn!PnfF76fne&Vuf&0P-X%Ny08P=g-v=M$IByZfudHy|re)yKVGd}v{vE$V#eY_iL^G++#cY0S%!I?ek z7ms-JHX_j4+hNoCJ&infHH!OtVwKMeY6cH*Z{)e9NZzoLaR)lOv^&3Ba#_{UG3aoM zxY@70y7C-$fF?GokbBtF@WJkdH1&FNeg5llb+hKKzD1k%b9T(#FY zhlb@}-#_5^`YVp{ZLiK9;yS!ngP;Xx-fn6rvG-nyPHtguIr|&x8{$US`MT7S@VHAC z0xs=4u=!7qx*mDMW*_~jbH1>*uIBmT=$;0#d7?*NEVkvS&Uu?##qW={{QdCNS;eC5 zqrVJ|9`bYR*zIHe9Q0pl%T?d^Bq3tjDyiSp2X~7EO_Chm(vL^7n{p>$<-Fqb=;t#!d#OoJ+ndZOfq}_v!r4r`ohu?53b4L5i_Mhhu z?iSSUN5=wp#^qlk4VZMmtNOO3!J5H=%lr#WuwQjKeuYJR%C#9OWjCx~{ z{fZ%;BdS-OFzaz6*CoHzZ-FU?PVsRVw)#(xTRlBb?~+``=y2lSi}<0x{qUfem`8^- zr3O{nQ|QQl8@jZ2**pJwhmRgLHQ0};>QMhxDg4kbUEA<5f9Gv=YHu0xaRo!Gps(i? zNt_pw_#3>)JErxcuqjn`NKe|w^&$0$=OlS=G>@@0=4I3*Kn4bxXoKHCuRS zmOCUAS~9Wlkg>HO>oRfblM03*gUUrsy%t)cs?!gJ8$62C{PV2kx<5T4-0IHvak#Yp ztXJVP*KgDO7vHMxb)Bm?T`j?3z` znisPa^{iHRrgOt)tBwc7MpbE~6Slqg`TwUB^G`DxHrz+P8Y|sf}VHzy0G_&(bbo z4YoAhHzDu-E5)PBAAW0w|0{Nep|PVQX77loV0dS51^s1x+u6k?I{Y42Cm{Upfe*WC zuyAS@)-3nAdoSivX&i${)1HVeuHC1FB)+wzgu~s+PewlT*eTtv+0%Ei^z%ARfA75) z?Kivryj1UTG~u^=^?bwg?c8QKc4ykM?t7&@z3Z<3piJ9O+er>HHfr+gojhibZxhrh zX7j%X>P;DXuVi%F-ZdQty}j_TqrPv=h7O;&>Q=b!T#7iCihe8dhVDYk{m4v%v`$m_l?!p3 zoi>#!_C>ROq4ymx52@vqKdh8};LjC&&M(xv|C4b1m9h&xT2)7&tL<(%vfI7ut33aC z)~ifehsLdr2KZogtj7{9|KqP?Jjb-?(J$e1*X@_*|J~iCR52+m^w5l(70y-&Y<^YS zZpMYbJX+P4_PXsUFricIu2=dcY*_m^=A)$^zu<3HbrqMb`U z>e^qvS?$x)HK%BFt&2Sv|DEf&_hv2X6&8|s@>rg*vs-5FEBY+9Lo2)RZ}xu-N)5?-PO*~|H$P9y~0b)->5mVrAp%bsTV$-htbD|{PKrR z;}hBEaKEU1?mJiCozb=tt`s#4AN~;dXIV#G*|nO=gJUZM7K6zOP|7#i=IsHVrQJSZN#|(b^(8ST-J{}t}^vsekp0;~b zBz)Ihr#f%?Ic%M@R;%e1_RUtmUzXHeG4qYLyAAF2evhWF8|FSs92w-WV(;j4hvvn_ z%pCJL;bPRXnR7=q4AuYSZ9h5U(W%C5u1&7_YDDl1zep))?Z`gwZFr;Pm>G*|hvu2F r?8NF5%P0Nb>C*gWnWx<`iFTJRe)CDh&|%;6C1>mA?VD{12%PeN-BjEW literal 0 HcmV?d00001 diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json index a5072d08..0cb01586 100644 --- a/vscode-lean4/package.json +++ b/vscode-lean4/package.json @@ -782,7 +782,11 @@ "configuration": "./language-configuration.json", "extensions": [ ".lean" - ] + ], + "icon": { + "dark": "./media/lean-file-icon-blue.png", + "light": "./media/lean-file-icon-blue.png" + } }, { "id": "lean",