From 59ecb849b8743adbb502eab0e65766d6d19065ce Mon Sep 17 00:00:00 2001 From: Titouan BOUETE-GIRAUD <titouan.bouete-giraud@artal.fr> Date: Thu, 9 Nov 2023 12:42:52 +0100 Subject: [PATCH] Moved mocking values to a separate component --- ivette/src/frama-c/index.tsx | 25 +-------- ivette/src/sandbox/icons/component.png | Bin 18991 -> 0 bytes ivette/src/sandbox/sidebarMocking.tsx | 75 +++++++++++++++++++++++++ 3 files changed, 76 insertions(+), 24 deletions(-) delete mode 100644 ivette/src/sandbox/icons/component.png create mode 100644 ivette/src/sandbox/sidebarMocking.tsx diff --git a/ivette/src/frama-c/index.tsx b/ivette/src/frama-c/index.tsx index 78e35ff2850..22e06943d76 100644 --- a/ivette/src/frama-c/index.tsx +++ b/ivette/src/frama-c/index.tsx @@ -39,8 +39,6 @@ import Properties from 'frama-c/kernel/Properties'; import Messages from 'frama-c/kernel/Messages'; import * as SideBar from '../sandbox/sidebar'; -import fileIco from '../sandbox/icons/file.png'; -import folderIco from '../sandbox/icons/folder.png'; import funcIco from '../sandbox/icons/function.png'; import 'frama-c/kernel/style.css'; @@ -160,27 +158,6 @@ Ivette.registerCategory({ iconPath: funcIco, children: <Globals /> }); -Ivette.registerCategory({ - id: "file", - label: "File", - iconPath: fileIco, - children: SideBar.secondaryMenu1 -}); -Ivette.registerCategory({ - id: "folder", - label: "Folder", - iconPath: folderIco, - children: SideBar.secondaryMenu2 -}); -Ivette.registerCategory({ - id: "lorem", - label: "lorem", - children: SideBar.secondaryMenu1 -}); -Ivette.registerCategory({ - id: "ipsum", - label: "ipsum", - children: SideBar.secondaryMenu2 -}); + /* --------------------------------------------------------------------------*/ diff --git a/ivette/src/sandbox/icons/component.png b/ivette/src/sandbox/icons/component.png deleted file mode 100644 index 5150b4a882af28af54d61c0c2c34638da8f35763..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 18991 zcmce;i9b~B|37|ajAgQAlr=_7RFo}*FeO{I60&5;zJ)}}HiM$FlVsN|N%p;LV^Sg6 zvt^m7$j)S6#?0^X{(S$2pU2~VRJU`kbFSsJJ)h6ld3N1Mhy94a5eS0V^>nYAKoA`K z6%Mg5fj>4L{@4S5!0wyqT!G4ZPRxUUAY3mSUWTB`1Xk)DM(}T>udd~N2;%sB_#Z4) zl0y)J^giody=?l>c6k!{%E|1}4zBTiWAXdq;`giHWg=0$w{QH8V9M`flMz&d_kU)T z6~D?Dd*#@%D+nz{X4B!*sQOE8rYyAItI<b3Pr?LgAMCGRiQW5<_blDTW$%GmK!DjT z<6Cr6T3A=jMSW?rfZmUr2bX#;ZD-w-xxYBvJR92kaXcTq+5e9}|Arj(A=!<xz~)8S zD!yUA0uxI$W#!!$V`F2lKYsiedts)==0$K&(ECm&KL=l5O5vE-gZkQpZ*;n#B*RmF z6eOaZ0n=b>(=2@ZHr~40rF+lxtbz=Ee&B~kZP8?7AW2z9hSDv<5_ZNAgTTfnLQsw; z(?MlrrI<5<ZpBY5&!E4lJ)8RN19f-jXRYUI>e)_+tc-$MZwl-<zi0^v3fjB-<jOC- z;R&uU4*y(>Og*esvT1V9AhHCwNM2w^zhIz?``KqLx!)Qc8Dg@^%F2pLO7-W`x<ccx zLKIdcL`Jex<Fx-+AZfhp?Ce6`-A0K4K{A=$wyzAt>r+^uFcBDZDUS%|kic}=_df+? zcL#^x=6Xi9#wh4R0s``V#Y6+E@#p=}0*RA@qpZ@U(ClpLGk=v(o@y9=Jh=`*=3}SL z`0c`xZ&$&O-Ee8hjl=*$3DmPRBO@d6dap4*`quJz*A^EP4d%}=K(>?OA?5bY_Ew0m z>WWe#o;`ck9v>S!VF(@=eG|evUf7Agv-3=ZMbSECWV&%K^096AJk)v)1K~9<>~y`` zefj$JYq8QZJkzS7w^|1Eb>UDT7&yLyOn-!Yfpapf6eTS)uT9!s1p|hI8DJ+Oaol<k znFDN>!z7BD3GPq=cW^D#kxAg9t6-W>b?cev;=3!`U4iJ6Na(-IaOi5@`2X%ZDujaa z+E{3W7!3532?_OGM$ntZkdO+vZSH6UotA`vvbErlKSadc(}m-EPQsv{v1Gyp3=HcE z9&`69#ZEXG$~(}7@QNpQ%GvawK3fcg6+B9{j>JH2XfXU27Fwwm3aViS!(Tzrw?vST z6&T))D*_h`hA#!f*FZ#qJQ#i$3~&CFOtJ*SdxGI5v6KWRJ*dJDX$`j!Wu@7P>;&d` zt-F4!BbebBJmD2rze7-0g~*OZZ$=YW)UWyokq<rZIaBHgNp*LMgEYe;aVaD+#s!Wq z5Q9N4J7&ptMW$svF4ecx<m?v$lY6Jm<~D!HXu6Doq>Kk%LOjF>LfR}<LPDZk=){R8 zKc8^F{jKGhbJlg#Mhq;DMx*7Ij<L@B@Aa=`dhzq~?>2>TdNTP!7^qeBi^z^$CE-TZ zDH!L&3`7Z7#FtSB$l~z_X1X|7p<pl_=Du@8!ZQps$8j6MvJ}mTla}5|A>#@VbkCP4 zD(}GRd0hL)wZJS_!>L4))D|z(!m3zI^y<W`^z`{O(t>Ptb@iB9@K%ZU1p$Wp_wV!X zo|eFQsHv&dUKN!+i4#xhbUKyUP18;;aEZ7eFuVLX6ij;Svg)WeJI%0xT^IgeAt6#K zN;37^^-7D|(!_(lq2gN_`Vl*1Dy}kQGbl7@q|AnX1~*$iv$|hLZPutv&}DOoM?j;j z%f6@Z{@pcn+FV^?>;3pxf!=y?pAMh78E%Gv%r1wA9v){CSA7j$U%z;xj^0Nt%)W6p zRrm#tK3wZL5-*N=rW!gPbx{Tdk-2Ktm$#DWV)Kf3#Pgc{1-l$9w0ELA*1V8=#vwZl z%(|l2UpyvrGowQ&lP1nCBI4j+G1hR4@2qBf3nrxC_otQA`oFXmjGMuiIyZw3ye!)_ zYFu19)n&|!ht#WFx-*#HT$3Zq0uSP*BNhIeXZ~?Qjku3);lzMDJ+%Ms=Xv~a#lf;! zb8|Cqhfn?2jAm5SFPqCpL$J>=aA8px^f=%vg09tfR|{2fsbSekw#jp(tZhaqSYPt| z@B86iBg}puC!B%D3^pC-(bs|F%L=or{Ot|)rNh1DjhLn4ysI55cUG>v_H9u3V#F7< zjkxR^cPyQY0wJM>j0fLhscAa(Lh>-?x8p_T#djyGU3-IPw%7dL<BFX2!>-k>lC)}l z9Pa5teYG`?;ydNB-kQny=E1vSF?aZn6ZEvd*s9&AJdT-9&&tj|upU!VM{kBbZx(}L zZw>TV!tv$XyE<~q1nGuz%0iSz|I8O%Gcn+W1xt%O@4e1ze8>wm#6RfCNuc6ZLuohG zsFN_}u9m)mK;}`}=94S0DGr_s9_a>u?^QkA-PrK|;6C^^_g_2{a6x&+pG9_b)RzfL zO<1=uQqV6}yPW~;{C`7Uiu)FxQS-~olOp4fO1)-%QV@rZ$)+uWV6?x_M-BK%Dgyhh zkOEnbDC@!Ft6ZclP!%^K26@xCv;0YCQ?ISQXvMk9r7zXGT#E3Tb?tgERWY#~JN#P! z@@HhF#ZpzV^#MvYd~W;0(KB?_u?%0R3TNOXm###K4|kJgz>ijQWF+CD{Ra*3%hvT> zEwxh_6)aVDZ$N0Xt#j?o5fW7N+BsDX>lcAxODvhY8F50x2Jqh@ck))Ozc}1$T(Sn< zTIz;q(x^%KNTBz`hkv{nST@+&(JFFphlXf3MkHPy*5H$Rt-y!($P>*{WY-G=aix3F z*bBPQQGFgN|E^9+I^wgtIClFS|1Rkyk&YaGe0)F^p$k9sqm|r|<W=z0m|u@j6xDi` zg_h${zh<3CK`##^+_((kE-o%#6}=}q6ktME;CPFZJB??=^;+vs?bz`mh?QGhR#NE( z-oWHZjep`*X_Fa!+7nDqM=Qv^e?o=c5|To0NuvdC7Y|)aW}7a3u9$S-Sh$4leYRgo zhPyyVSrIsm3$E~K)!@K8_C7v7-=4dPjY(JC;S(kVEDl>MA3t>0lpIFf`JMI0y@d>Y z{9yb0{S4Me$%<ky{0L7h_2W>ln0hZFPkvy2qq=x#Az`&)v24|v+bR|TO*u@jD!IUY zMdGv_*WVgudfW5lsp&%G0zL%Y!giTpih+&h+5*qaTIW5vcPbe_3<eF9+L2#Ib7yh1 z(!e&h>qYFOG_JPn+j?G!NrYM@W%+iwsoN3h&{FUB@84ysa3Rkv@x!7pypqFFYWfz5 zGZ|WnS>l{GDXLj`%x$!DUJtv7@j_mVBa?*u1)ZzMJWnA%e9FK_&#do`bT~Y0i88lm zf_lVu0(o8F71DS3XvE=CYkDde6#RdqYVztjBMw1#cI!dRDb|RSZ(KgwRMGENQh(O` zX&|iCk~KmjVSCx6fwQA-V{H<aZ7RisyQHQT8iVMd&n+$%Tdv!7p58+ad2BMSk-Wb- z$tinoMU~KPs#eO$qgEi{x%iBnAP%fJ1$*)A__QMrMJKI+F#jO+3uSb4G-++S>3n84 z(|Yd1U&k!zy;l5PSK-jCTl-Z?`;`XcM8qYk_NVt=(UQX@mg{)av=bZKTJ`1BN$bVU zJ+0jk+I7zdFEJYRjF)}I+sD3v^*i&Ei;G&R)ZpWPA0^WMMWgfHzq$u2b`5dB@9UX_ z*ePZTW%vZ}R6~-VZ6M#M2kOaVxNCC3t7TO2oqD_V6=-bOX7h6^@M44hDhJxT_ca^0 zr6<4ceO3#di>Ed+cM*1__B)gt16OGYt0A+h<E77?MPPVtkiM|Y`XOo3mEt}}sj7wJ z$&j+R`l)={t*({;V+o(oL7b<P({xTybBiiC&^0cF-+Ow5AACYeO#J9vMk!4&u}FaZ z_DYOjkuF_eM_vue)gTfg{jC=j6ZYF8HugJZ{{`Myw%%L4mb|HVCdcG_TJ|{M{>KSo z6`6>YY-NK)C4}N~0;vXPQ~eII{;XCcY4mO-U?*JRZwm`aIh{`GCpKFO#w}@=M8uYH z=Tomq-(Thv5)|Cu+-})!F1I+Y|M_r??8%oQ>hy=jLE%Zb4gc}>d*XRkrQRvn@vZd( z{nv}4?Q=J(O5002k!$+|?O{V7*Uxf^kcdeT<y!RYklCc-+AI>s(MJ+7GG>!X>l*3m zpa=18pR<v$tgkLvKm<R46~bOVLqInKg#`puCcgDl11Cc|xo17+^E()IH0sy#$J^eS zUHj&uNgr++8(Rz^!Agfk9k09!GBnd>+g^+QM+GMHBuwALRZ3vOsvfq~Jd-Vg%r*iZ zqM@cHD=T|1MM3L)x<SkB;g~_F3k%2V>TS_NBvqtyd(kKJF9;nBj$M40j@Wr<*t)c| zWNpI<vV$B=P0d+D@MCfFjgyT(6aN3*sUQ$nXwlCqcg<QlKX+UgKJkXwS?>wQ6gBA# z@0u3}5tCC1ndQV=;N>y`eZ*3@+V5X07*NB&ya&kBg9g~w*LU!YrsZsGY#}$|BbiGD zivIn(SI&eg1J3wO5GVmk=2F3OTg+2e#F4%!Or~fTxYGvx;Hv1oXtU=3#y^yo`(&Dl znU$J12M0c71rE0e)Gm6GK{~lM*QIy}Mkum4`}HzAzSH@1$pE#|g=_=y`_=^}_kLMH z<vC)%kAM_-`J{D_o(iQ+TwL7yBzQ=d9^Q6$b#acMS6}WmE?6RvuHZR*DcjL^{&4v4 z@bFd3ervEEI#G9aPO69~eat{~sNb(H%QS1Q^`2}9F5yczJ)8QHF%T}rg@i<pBZ$(a za|)p`uMw}-_23iJ4k(fE^+ofI$#*?27W~2|Vb~wqpoY3;zLkM^b>GF+HKF?Ki9aT& z>tIs3G@pTG6?Ju*VX?M$^3m0m)6WIKm<8E7MW)ZGCmf1(+r!RPLo0r#kf(WK=<gOC z%vK8q=Nn7;`1y5DIB7|tz}0~iBD2oaqnhW4w8&2~RE!?JF+&ggq8IseP`x}VDoRu% zwH^e*rsI{m7|56SPQRDOt_aj1oo>@!$xxs>>gdpYxR)I|yZno$Xp)<StX!OSB*Oj~ zSPtdo*v+xu1N^I1;;ZazY)ytdw^NrY{u*E<QlQ=X2MaA_^g4ytT7Uoktup^Cngq2X zf1Z46QgpvmfK_fFI6Fkz1$JV19)sQbSAUc`p5O1rX2lf)9GvUM=4NQVd2#dL`>B+q zsh8>L>FnlD@>Nn1bHN({==!r(C543&&i|WV)@z}ApfddM;KlHCvq$ZounTNr!~l+g zHGj^qdT(29_inY{b%Uf1QsU#14oM*V99tHt&G)(>Q0_Nl=qPz-mGxnP*)JJ=tcIMt z{5tQ9-=k=S@~10p4bt1&+l$#J5p>0C7}TX$w`V~hj_9a-Z(sUZySQ=t{I+87kHWN# zGwvvh9Bqgay%LOSl1@Ub1Ps?;1_uXgJ3BkO%*$<siuVt;wOam2I^A0jIVa%g=r}@c z)1bClmps=x3_Sz!>mXz{UX7rqfHT;W#<9!0m2?ZU!}+bjlNo6|*CIirJDkY@ndp<X z{R0nL%E2HPVWqgCH;fXAZmJQCAiN)0<d@VIPd9j3`c%t-37SgmG3_njOh`!3sI0Hw zE)NI_rEzc1FWW^%M)uCX#2;1a4lVC@!<;(#a1A(Bl{1{DP|uKKylAUhk0IkF+ns)I zY8;6YrF8r7MC<C1Km}epa{GSwkogx;5JdF5IV@HF5P)C#ylY+$isBKwdtZ*DYtJ5K z4U)P>X|BG0`ch|xsI02${%o3U(0m-Y&G!goJ8<JAb+-gTmoEtV_WASY()HXA`YP`T z)t?!kru=#rNw_AS5?u0B3k36#jAyNVeSM1{jM;Ub4z3TK&I(b-x#jm;_?U_C0FTXF z!qN*IE6)Y44@*^D>gnAsxeBtf|8S*a%3y&7OIaQoyVksY`_|THsAE*}i{ob46Qjcn z&rMY3!i5bbP_?Ug`dvGUC?7Bye2-s^a?TA4PZi^i`o+09T7Q-YxZuisq08sf8k=m4 z1FS*Ouh#k}oQqdAa3$pBaj{fgOqjQp6buPD=%qlR?=vy5)jDxk10$oBmzL0u(e^Kp z;^&x&0prg$|BM1JS|^3vaRZKLVak5KBtDI?{76*&g&ku9gWF>y(&}f{htn5lPht<< zvBe-p1b`GE3p_WBu%C&Fj*2p>^?QRMayk<k@rPH84q~v{ldh><GxW;09n0V_a)SA4 z>Cl1aZ#Iv+U1>pmFZ{>+3wUmxq#LuWj11VPYeVDX`*O>=rAHoK-nK-3SRHY-vbZ^Y z<jJQ8k`BO@`xKHpr?+I-=tJ+51Ox<v8l*mOKvR8W4Q1s=WrzuldT|M-YD-r%ZAJwJ z`Lky;vP6)%%^53n1*o32Kj*>8>iPa(5y%T1Eq!UYbTHsu?KYXF$!|#+uU<XOIu3Jn zr<9u)`xq1s_Dq^&>SEO2JZm;Pj9YVO6<H~I#o8Vo9t-^Dh^#k6g6Y|2`IOGvPKHLE zGk%WdhcPryFz#C6R$i)@ypq!PRY`bHKN%hMOJZ%espa0FGB-E3Mk3=NT{5xeRG&hf z56L!+ww_Cp&d=x`KK2YGT{X^KFOBE-EVz#<vr~11A59klXh@O&4%(%=Cke6l`|fz% z<Q+3926<@i+U29vf#*q`F4dY<WFzR}Wd`~eUb~R@u_Zo9q3dFMQ%698vqwSek$tMq z9tP`4j~c5|BP;$nD}f!-zxcqWYjFDAXIFoJJw$7k#az3;f4?oh*!=}3`NL8FbFA=> zD!#Ij#q@vw{)xG|y5^qUB<AGg&<+EaWxO6!XnEXYoyLFmDt}_-z15}@HH~UKOpTK6 z(k&$!gkB$L=J#KG&>k<8d8^ba;CWa6flfwFPFaCTkwg+yasr9{J{NwDxr2v)GDjkv z`fIq!?&i&#r|z{8LCsum+9=NduuX8vce5d2v8UF<6zme$Po)kAiwIiKyr5A^p2kJ` zGrI>X6Cal~(R+O$c{@%%hBcTYhW2amHe11WCzFLp6{F;GCMKpe6qO|PC3BPAZurJ$ z+t=40wmwfvy1~c$`@iLlS1%p+8BCfi<2S2A*l7!SksN!kk5^v7K(hAC+cTk|p}F5? z*AwdhIwyVp^#iy`w3{5)_EoG3v7@{N91>+o__@M%$`fAOhgJn9AMN6o)2yoNzs;;| zR*{DZJSSn4EMYRp)KgAO;M@%*6)#@=pq=u}s`P>OL<;^LSnlakmYNsBjlc<)&#$i1 zuPSERICoDahj;eeK3{Lx!aGZ|evD{!48nu_YyI+3ubQ_nleyL!YZy)<-EzmqEPV<c zewDdUj0;RwE5%ngx3+At6rXb_$XFqg5KE<ZWc<9MdbHVU^u1dp09Tx~@|-c1m(Cjz z?e-dcy71Fo=31audHC)ok>Kv<x8~;p`<YK5;66Ra>d#eL6`4-C4p}6&taxbCOLgGn zbR%Y50WZ%Auw(z?uTlQVdzcnoXE}ahhS-<=w99r=V(m+4i<IqeGgVW~txs@wv2ZdM zE3MvNZU^|WkM;8eA23|}skQolz>Ql<!b@eA7P^98YVI}ezgc~R&Ih0xjPf}m35Q9T zHz+W1-`%!z9<q3qogJESJluk%jdEQw$T)XL;$ZR_0N}vtwnmUi|B~oe<g7v+Z@a)Y zf=g_h_xOt8Q-h%@Aaf+Xzeiy@gy*1(J*nh!V1n`If3Iyd{PI`Hu9Z8=ta3p3k2(C~ z74%NZwSpE0vl=84-*)>5&G65kKgKoxjZ6n$`tm%f$n<OwGsLU(`qb|=3-|f;mJSA- zN+hE7#(5^(p|2Wg@HXE}E+d2_j94qkt?f_gNJN__z1f;K-*|a~d;3~$VJKU>7IPwW zv15o_?)AKXdk|7F+q00=0pVem*BoK))tjTnY}v05qF3R->;aNUxUUPH_~S?MInqWc z_Xp|VaT^~?oP>9Z03Y8DrzBi**zH17Xr*b9>0ST;tKtu#Mu_9z$(>>mmb!1BMlA8a z9yF`oDVh$Xr5+DIu8%?4s+(TZrfGD|u1f>(Q5cCA3qjHhtIBY%7ro4+=k~tM(aTGZ ze7@%6vuY$6q`8+A>^x1#A*0z*5VHj(VH%0+I<**N(riltm;bN6>8JlQk9$F#QaR`q zg51*0ip>u?p4%omg*0x6WvwS1MPffo?JRa^Buh|BA0vJg`yZ4pT(B|LvnZ?enBH0% zTbK3^aXXbOENOFC^v4oX9Yw4#5SP_aYBT??^owqnTU~p&zD-PP-8y?i%kZ&}huN*Y zR-T#mrh|&4>bY#A*_l^Voss?c4`Q&VPgjWqy<vJUID6I7M+P<rHd8hy91N3+M-~UG z?Dx>;PVMjc96pt+Sj9NLb5<AqP*4x+uM3IV6G_GQY5OT%Gd*SI#XZdu*pWi>;_RYD zS3{%GT2J0Vx?9ZQ<bFK2t-z4=F^2%moD3_?HfNob3$pYiChJ=qPBxr|*8s4fTH49K zI9%E|`5aq3?~WHNSz?@L&FwTe#8^~1B5+>Xw1hXr2f)^-?>L<fwgc2IoT(Id)lI&T z4zPaf<8Eihws9%Fv!wI;^j8Xx!qf3?pMTGAsaKHEjR1by+}<W&TV`+SXlt*GwuA<^ zqYWI!cbVo9^ofkDs{6A&f@KX0?=wq|)MN<<wxe-W4!sNX?-@-Z3{M06mb_oI{E4}- zAvF0Ek;lLTkd1gMT90G85X9$OcSkGkc>Vbr*Qjz&W>HanZ!Vv1sy$k-OToQWP?Z2- zKA>GFklJV#Uf1`>DE`UeIjJ0;W}H{$5J%2s30wbX2sXP0SE57P2l<~;q{vRiF&$^? z8tNyd$(Aa<m$+HB-9W|e`UXApqi;8R`_2S;f#TynX8sZ>qv>Sm--7|yc;Av5UL;m< z9yV$yMn6b`LK_it#@8xOJ;QrjTe^`oZqjTea+Yx-a-zY@!K8iL^7DNWq>YQ|Sy`6? z0r7Lmb1iBkds~n6NK_BIp9s|;iMUlz#YF<Vc|^aDR$!X;g6%>iZD(ia=0+&(eA7T+ zC2-Z6A8)U)sL1<g2rB`UM-YWq>|=;0<Lrk#0!$)yg;3vdCZ~@H>lO|Y0(;6$irDlh zAyF81W9#OiP1!Y))3R83N8rOjvs*Tsmy6*-S}1(;Ntl~#godylHz?xPFQ~{|1z33k zKq<~S5ec5sJ8e^Xa9`p~njOuo7@pKuya4!@H7sy<8{6CHyWO@GjSO|Mv9TdJjSN=N z%&=M(B04z#7HxKYx7X_U(--l1)niMw$%xx`0KDE}mdn@C7Gd?2AI~GQ<7fv`qfF`M zje*9JBUgLY)1gp{qw=tGpV(TD05An$Mqx$e<*S0`j9Ekj=$JetX-}lHR%!YX(P0TK zG1#r7;F2R33zWHK07*4MBH>;r1QT804;{!yWEm<9c&M8m^jS-8iZuw;X<ZS4v^IAY zZkdZ0AI25R!vLWA<Q2>!ijkO`q!DJ!7gY~{t3bC|4?}$Q2k|`Mgr&HM=>41L(*lnj zd6I&pQILArKv9?lJVJxxD*8r9=c%-byJoF|7}#XAC&bekp}|YNll$gR6L96;^=HXK z*&hcQ8N>mpafpPIN&=ZD-iOvI{DQz!5xF{t1Xqjc*?<bOe(^heQ^~-H%7or2z--q- z#L4~N5mLg)R@ly^wGk=xw641;<c%M|c;6}He{tHM0_m?O3+-u)3yS>jT!i2UElTS} z#tJm6Hf?HhL4tXuHYhkDBzjffH>frwVSh=i1~3m)<FS@<ksUE_|J<z|9-`Qr-akA< z274xZG!FuY)}aYd%iWkxbw?-&zO>&&b;jRPqoVJ80q3!t^~tB82#w$0)(2s?`5pq+ zC77#_Omfm|CFr6kg?{#k;aKNnGQAi83Rl2&@feX7T}b$3Jdse8j_BA{z046?I~;o| zd3jrme;2J!(Ww_fK9xY>8KriDgNeBadNIeb7a)yq3hCYSvp?a`ZGmYdComu6EnY~0 z<~^I5WUj|g{;Bt#43gAqrHjI3c&MSmyJ(pmB}<fVW(Y}hruAWi!XL;fIMgVD?un$$ znRjDa+tcv|;%(<560mR)fM9Mb1AP7^B6japx6b8y`QB}2suBDmK<gXSVRK)}q#u_O z1>?SgTwo0ZP>&Avh@`tslIaFHCxzPM5IB2bJ?y28(JIM+`xG2zoM)t~?qQ`uK(h>+ z4{HS30IpFH_|r!h<!hvvsdnff4kix<NOAt_|0ZkYAs&iDD3N61CN9PQFB=@i&6buH z$C8hpX2nByfiXKoXjJ%gr$h58A7uJ8ZPFnN%Ib4g+RH1P5#5<eblvBqBnGjxPN$qp zbiM7w)zHR})p~u@hH`|4uYETL&&qHx7*Gg-DOxKo6EqsK0kExTU}$J_`}DCKhwe&H zMGAj+spef6r?OC62i$Xs^AN$`44$X@&TxN!#|xLeHR8G-=+8WK*IbInF8x};dA-6x zOV9W?k6M*8&w5nXcB!t7%VcIN!+qBI;-1u&1>m`~`J(owUX%rW)fvG+4UTeacIuO1 za@WGNjE#GDKi=-y=k@APoE&nyFeMgFr~41WIBPPuj(<n&yp}{klPCFi>!ZB8tV-)@ z0giwn4mRFm<Bj=}3$pFIfadF(^h;#OetUqBhpohff;SZvqYn=*pN;t?r23#F?QU=e z;s<fpctT!H%|;N7rhf-ncgss%%*s*}gW%JQEw1l~59fxF_!WFCb=<gq9l&k(Kncgz znUzreS9fS}bKa)$!9fh-VEkhR=hLVyc5uC99k~7>pgr{KKT1W_N-_7o23yr$Vp;9t z2-p%&>&D~Y1&2Lqd-eP1Wu`iRLdfuzzOe9gNa>3ltWPLDi6FR9pZKMMDx8q=n9L7Q z5#tx6nXv(Wsr|~ff%FbLrF(W@aiphLceerMW4Fb18SR_6#Q>fy@c=yA4S}nl_rb(O zyB^_5Zfyy2aS>MqKY&x0*x%bbiy{Y(x3hB1!FuQJt$LzFWM^!jox!2%!z9eX&Gu`W zvdf%+30MF5XAq{5IJ)-V#m)Z8N5^D{XlUZ^x?|+v{00%_s2B$v^~v)I?D1M~EQJ}; zNJM;S+ehHZoKP6R=psjuct*N4W(VyKoHe<ems&eh8U~RYTu>sRuM^5q!x;N!46J@P z3-K@$a-(pzQMfN3eYm|6BnZd@n7=}=E1V;VZ)2j=x;|`Z1k>7uXw|0Ox<<iODm;pG z$3Z)G>Jl(ObzFa@l_12=|8cw>)7pr@M&dr+ZppiTI?LN|%Kj%B3bT_(Qa1cse^pKC zS<?4I_2H<x4Q)`MDW-KbcfOyhNWv|l*BGF#*P;1aNvYRnj(}KNvaP(QeyljCt(YGY zIxsdg480-u8RoeLAEZIP_UgGDiK8{P!w2%}-SCGg|M&9w0LdQ%X#tXEu+Pvcx*Mc| z9ac~UaL13Nq$Jf4J$REcW8R?T<)c|{X3{cXf%OYR-zF3?0C3M}Yu*&kD-WscrP=Sz zo1Q&xk+ObBuy8_M<i&Zs-$&{a7^8PrhL!w<4O?Uy^hiBd<H!4+YIj_O22_IIdOhZ~ zWwm^>wDS>AV{}%v;9SfKl{Fah^63DS6WpXeS5WTOre&=&<9R3m47V-UFdp939&v?b z<-*<#d03yy6LvByJlyrtkt`%-CIfoLu!wn(ZExnPtOka`?Gge1I@puDU+<37ra^s7 zhd#!$`GYFfVdPht9V>Z{t<@Klm;a?^JB#7UwwUpX1M24cRsag#u!1bvdPgRv{o#~8 zO-{9u=RFQ!TU2!Rt?Z1Lb=iV*j%QCVoq=|f&|)zO0L^p#YdxV!VaE5Y&wXlbb5he- zUT}xfT%o8_UDnRdv!lv~lfIg#%$*lnsi3Sg>{Bb1rN&P7f&=88yJYS}&n^RYqlWXr zK?eR%yJ6X{+#?Ph+Mjj*8L%~Y)eL!9nK-P<w%w{<*~pebL}SizZ-2jhWqEnIT3lkZ zMx%ZYhS$8^qIG?EHqkIsG4#`yMd)@mjL)cW(8z|`UZVkh(BF6AHD=b88Y~=Dc_f4% ztcNv3fHUcvyVc(^Avy<_;D&bpZG6*{I7)@JqR)%NzzZ0ucMo?Wun{XaOZd)=g_nu% zFyQTYFtA(JH{XEVUHy2UvXM9hGB!=~SOdN&QnJufRvOf*`4VyaROqhF@Ue95e6B|Z z<AM_0cmPCP252Hn#3Bm~B1<o~6-d+ZW@2Kp-JK(2jX_*_ysI>3h>XR+IxPFol!-(4 z>kvTeL3V=o4G!L{bZ`=giz@Eqg6xxS&vl)8`%f<K)YD5afKR(Nd(z?_LlCDs`h4i_ zn0Z_*Yvj-7dvY*c@f2?GUPlpaz(z_jFo=v^Zmi`@YXNBmBaqW{IR2cvm=3XVaL|4{ zPx|Ik?Q@u%=3*d-dWT3qvD{XA#-!|XjgFrjED?RT{<xTg#)R_WFwu-edWh%qtP)mv zs6`YBLE9hss5XB+;4&&e7~$+JVS(~JuLnUNboO1A^KDpZwN`gcc=Fd3>M?ickA?cI z4d&7|96^D5v)6cd+n|f%<wTWp*TMOgaek=b#{Fq&28CH|8UP&aKJG0PYj~IyUJO2h zt@=<7&O;Ul1O<LjUzV2rlWFcBUyVEjG|RyuGGd0X8@IE!?A~2JO-(zV{bx-JpPxJw zXFaBzjL2#?fS{}S%4;JnqZwIZvJQn(S(oVLSxrpXdF3s!_=}>6-@U<a21z73d^h}~ zI0OoyO?UcRa2^-SKKy=8cQu>67%E7<%q+CwWA4v0f`G8IJ1FW95Lpp?v?P?Xp{M-- zrjwUcjq!v7ZB9+XP|I*MS-Mg`mo~e!LGar;h97X>{F9*3@&lCNC{I70dKNf#|AG!p zj_jwtletb>&)E*?`ex)8%0#|VWV#>;QpA(RDsh7_s4qy}a9{G7B|XKckl^)yChmVB z^v4YyLw(VTp^PjSUZ$SAV^uRS7dT|^oH0lfj-#R#0PbGbb-r;)&^+Mfx;%6ih`4&9 zJz*J6Ix{?%A&b|HgS4Khg>79_ahTNN;!-M|_0R?RW6p^!WP^>At`(oX7b5~m<@yZL z3<134(=wf`zf$*pu;~@-IzZy$!RlC-E-*HV;~N<udn9;n3nT8?ja*~#l=0GqOVTdT zi}?Qz%fH0z-xv68I4!EzKd3?wj}Nhia0|dXyOkhol&GQ+D#d3Xr9h|I^D-6h?n&nw zF`fq7*&4p9vRv*oO%JkrOUne#xbICN9P`T7)6B<L1%kG^N8E7*vYmxRbn)`TC*=iT zY@~QNfz9^<!NcJtVY%glG!LLZs|K##A@^_;edq;KFYwL5PHh@DlkpOk)w~ylAc)>I z>rR(pBXA*zi=k|^Z(RtiC5pnX2Ori)`91}OMKUDJgUBmZC_GRT+Qr?9pr2`B!p+=; z=Sd+ybPr<iV3!)q?@zC~Q|Lr+B0JTYaWet%yi3L)&4lt6AF8j7km;hNNWz*r?E3#R zB2s4izT%fNJH-|l=s7UE32jQCe!@9N%|Mym*DWF%Kh{e+1^w)ApJD#0aPKD(@11uL zFBLWGNiQ}jDgjvMN9}ysL|x2V%$T%m_1NUrzbpCoG*$uxADy7CroQ?;bd$y-29k>b zp*ReLRdu6_#{80D%e`Ja#F0j(Jr-ffQIL_5xj?s*n*8zO$75=!#tY1^G?0P8cK5^F z(O*Pm0oY6lG?wCq3RJVGzV#iPfo~KZX>z>qoWXt+jaNNE=3dru`bX&q+g_RMO~h+7 z0Vz=a%_38)@t>upXVp%35=()SM<{hV@1)_>DMSOi8V9X1bIa~DNVf)r64D_^zaX?7 z05nX>9KA34cVvf8d<2_t>fn<O$a)q`0@V5YmODB~HkC%uixvEL1a$G}vLw(4Ikv}d z4%lVAG%94C)wq{}VX%`vb_8vVK?OF9>db99O|RCCN<h~FuL65mireA@I)SVF{|M&* z8SBwK)i;O$r+Hj1{rlar4eka*{@uoMkeC*zV&q{^MvZYIdG`qaWjjp!h=AvoIiPx9 zT>U#B!lEwZZ1;LRHHm<35Qkj{X)ibAue8kk{L632n?*kg=KX_OGaNNh;YIWF^M_R< zZp9z>di-S)NXyTH>mv`ZN2_gZerhQyDvCLEQT<DXWAW|tbnWCU*8Tl`!p~>wn)T9R zID)?oJkMX}6c8^(3a?i6?Qhv}BZwU#o*@5kwrSbc(5<{1$UdhizOyf(m;kqZ&X~Zi zem>jCbC%2=>?Ko<V&b{XkP^GoyRx{rzYnT<C(o6$Yt6YLF=<^7-uX;5?dp`SC|%;D zsVw76lmIN4io{o8$mV0Php940H3eQdZR{rigHag%F@!;?XxFuKS=W0XSQYQF_eK(c z96@oXxa<;RMdC_pl^8Iyr%1K80C7(!HZR6Ww?}W^+OE%-I+ti5-kbcG>?t{~>aQ9s zOl|c0iF;j^4RfnXho(eXK4axicUFd^o<LVNej*$X3J%^s1=|?}x~V{*PN4cKhcXj2 zgh6=*j0I1>aQexeo!207w(|TG_Qs@0<K=R|C=iqsELwz+E>jXXQBbuAlKcq^B&;u{ zN1IQvM8pk0*6MJQGad?0*b0rAR|WI60fpF9A|z$62k|n&g)7N)=lO{QphF7Z3IG*C zuhGR{kLlHfmbP^=X_J?_%#Lgovp}^1ttf-Q3$V@E10T^Yh89sE-<xwx0)m%EKA}2n z5gLQE;LGp|AYj7pUpTGTCvfiA5#t*15<CXRIF=)wf+1J4?sG)oLXw~*1|S<f&wkC% zE6gl{ezO#LPDHOY(d*Xyp0;;?OC%ZXV?#fIXQ+&i;$?xwS2zxIxd!ftvbFgDDQ(Wi z$-*E3YU9cm^)4b?D{RyNZ_79LXA%~4M<kG0MDfDTVrkgzWs)t(u=`AkHmHC~HSt_y zBI5q(LOkI>ERe&58%yg2mV$FObjvqAyXhtw6bW>tNbBE_fAoNm{)38Ds}v>wBgU#m z%h*yR#Rw$b=36uOOO8-E<})|5G>AAPz%SsLhfAH;cHt4Qa=XNXSMB@1w=F2M5rk6! zArS?_%j*A0ZY#ltd3nOaV#tIL3=l;ChAWDR4#?!M;MG+A?-z2n0anw{))~Kz8iTFY ziu=qxGS!3k4D}3UK)2Xk<<etH*r+eJni2HWJ52VBUgG#bX6SAn(t|H*H4#BRGmN-o zus5-f*~vAa*zvnS=59m-d_o}eoB<Tb+^Q!pFE1D&@-WFPJlc|?kwhl=eFwr<5WPza z^xO+fc4O5uhBKfDT#PJ3pD6Gzr8f_&;NDrZj~Sj!VgeWU0Z|k>m+zfC?2_!!r0T01 zbU<8eb=T*O>*emLAwiDrBWug_gXw2@Cr20SW4!alTfp{<OBYf-YORFPXo6;PT5iWb z9PVstMpZ(XC(vJD_oCajm&Wc}97QZL1IlNMYwJ@4J!U=yNObcIfh4zJ@DJegsX$d- zRwq6SG;quSoe1zNp<jESudnRAvH#7%V()o7;3bs)uJ3BjYJ`jK)c+5SBm&X1)D$D{ zZC`Eil-+k`**sCd(wq>u$YW{8Hnt1W**ZwU0)ZMpD-@2%>y|=N)+T2FItQSY<0tTQ z2sLx33!(LkymUSM)Opw*`psx^D_yri$m#X7R=Z9@bwEpPqi${|Q1fBoeXt<xz6v)8 zCsWx*g&N<&pFU{Z`5j}Iu8Z-mdVe2tQdqyhWOnmVa=_glxh1$Kg-~W9<#x?91uLxj z$*!%QSb@($jjGsOzPZUs7!ZfH>q+>N>RUET(N^4jJkdfAMwL->Ii6;P9d6V*K>ZFB z0NVRj;YxBpPA8#}8<?y3ylReAX#1V58(v&g)fhycCdkgG)TG{7l?pclZc^~0+R^3z z@@@Dnao@jK(*eE{fTBu2J$u@cbZ>TgdOAz}(|CrX&YrgL>iC^YEbk)y+g}PzH1e{r z17*5o>a{dCiMxha{dv=R%vb(m70qPQA!f7oE;5<6A9SNEC%O8qMP-u4ELAlYk=F)L zEbg&i%|Q;J-W(aJ<mes25BGmI(XMy38sZnA%BO$dEJK{K;cOPxNyZ0S-jo{c$aSZ) zBtlnPlc7}?_$Qf=<m2Jy0vr)!K1tQftN43o4pA<OtlGIdhPIB==yNFiQwvm{JZuUB z>vUQxcWzc@$G`NrAYinq8AQzOswXT2&ATJ#Rn=V$ZT}~v1mqwW@a^BNO3kap3jxO2 z-Wf3nxfKBjM6K(2(xCN0gviCg%{-^j_Ds+=;O)6~gh*lsHzjA&W#xW8v{T96`fEv+ zv-;D+RTC@B0P<32^SG>%F47+Ag})jITfLR<l`uQ^dq`a1uKsvqj>p!{HI<ziO)@}W zbL@~d15i}fXd#B5?qO#~8Yx*|3_YE+C1xIw6Gv5^U1dSxS==bnJTZaa!hIhrJaPo| zl4mK)=jWI|=<Rbd^Ly7c*3N)5*d4c>2>HKaq661<mw)r&BdyT<e)3R(8$W-5>c1^j z%LM682mhA8**7fdxZ0`|7MiyxY)*uorn1&MyN<IroYDit((MWsjUOHg62d-``E<b$ zcB6)=Dq3#E`}-`k6>#}ccAB5a#L8j^p{Tw-un@3Oo)-j?dZD>}s`D=(UUL7@5`7bl zEC!o{*l7TvHsE;dYMoMVUTU?;4VbR~+MmSU7Sj;NAV2nOLj{W(K&t^boN)50I)Lg2 zjf~{h1Fz|9i+ZkEi6*_O6|FF7V_;y=G>?x(6xmt!dk(ZyzduhB+t~-!8Fyi4WN~v4 zlu7q{mF?nR8KlAqK$5k|o_24naPvZ|bjb<+2!e(#^waYLfk2m&43_4&S<rd~(1C%U zopXm*4}~IkinSxitGwXhNeo!&y~fe^Q<;F+?hFsjHw(9zTV6gemi&6<C?Xf6lY{2V zr{`B6e#&(PWBwm1qstN1R@xbyl9G~k&pto(_QMi?ATHyS{2C#g4<e>t@q^en>ZAX= z!|@`3XZpWQ4c@00-zul+6vNNmC>|2Uy)#wGF0+tTJk(OkHrf`7z1rFazA9#Z4)lny zmI$x{k%P}4vUahdu`zGSQ=S1wvjofHy5mHW4+c61(l2A6i1}!~Y1?c|kV(>=xMP;* zED-k<f4tuz==-&Z%?HJGj6@O+T>B;;H~(YG(`<Ffqc#w*Pq<`;6U!o(-+O4)yb`Vk zM>p!hDcBvpg|6=`v>Y**8y7nbkeHL81t(SEk*A-Z-z-Q)?cNN|C)~s5+hDMU7F>7x z4B#6UFCBx@6v{1%OdC$JMBJPgr0T%?RQ7Dw2TPYqK@F72#LS#q4YUr%_wo7J7-B5- zi%G53InOT^1CAC6&dP6dOWW%dq+{58!_*JOJ0Q1O-eCU+T&O5ezHF>a(hLEA;|Jsi zIO#7p0ld@$mP6tL#ljuw(OcnAGA|46KW5A?DA?%Y;qm?=y)#_zw=aETW5d%4fB*ZT zR}?$Y4A~e(Ns2H(R$tqmJvcZx<LQ?Z8zK(GB9A5;0_;Xuqb|PdcdzPgzQUu_JM!N@ z68(TwAGYL(Rvmk9qq#3-$)@j%%fc|=E`WX?^9AMIn`s){z{wOIZf2OBot@!A{s!m2 ztMER!PuO~<G)qKlObi_}hqII0l|=46&0t015rl!(*49B~p1wH1NL<O#D>NyJpSa(M zLhY=&Ul1s~_MhL{skGaE+(N>XcRG5Mk!UV<;3QYBz$>oEMO?I0;c`X0{de<VZPp)2 zl}>G?_aeeBI+@1jcB~@$+<hhCHcxIsk^tSBztnOG2#%tMr;qV(lFo<I*&@_$2Ylss z_0j;+j`&&+%*OGC-H@<Xe-M*V{P<M<2MRlBT{DYFny-y$(o^ceCW^|L%2){N3($qk z^DLx<9kdEf|A)wX3lh;~`T#d-idSN58}!%ieUH5*0<#cbl<LVT|EP&RNbhtilh|ov zzI^nmIzyh5nk|Oa1=eS#3%xYXr2-L+>T8ptCOh<j9)<bkdA2r!0}nL$7-63dqK}HC z%4PIAkX6xh$eg{gJOEU-QZ@lniR|?BF?%zSEii~43je2+Pk9;p=&^LjoBbuQ%>)Yt zzgny1gYWP>YmmQ2J~)c<RkBj>dvYZ_?S88@sIi)RpC@(A_$B1LdbPu%2Q|Qut!r%K z+@FE8c1YvUFEZH|U_NRTfj3LVK=*Xu6>I?C3O_CeXo&X%md$bf8kdv=Kr>It(qqtF zz@yyKgF#}m01Xxy+mKM{@aB-o64_}BY~Tb<TVVjo1nA=G3k-P^1A8io!aKjp%)I}5 zi|~K6cdI9;uSl<e{-)}^JO=sU!|n5nQi6JrLo^UL)`(dEHd4M+AYF!SHJNdi#>J|_ z3W7ygidl9t;I$8@0O>)$qY(D<QO>3^ZZjQoFNz*ym@_s37O0^dz=J?1Dh*OkjV8(` z)<;e<4nW^<6FgBt5?%@F;T5UWYn)a?%D}Dza5%cek|Oa|B1>x^2GYMEFF)w>rQ=x4 z7j##|Jnr-J9ydLFGnmc5IKuhfeZDCARZ%E+a}*V`@mGnk>k}#RFxO1%A3#BySN9gn z>8iyK*caWR1>>~+LPDtX!COnpy5E%fm0t!22cwfoGwq;BC4s7xFJK@{%OxK_hzodc zqcc7{eJQ&Z2ty8@F5xs%&h860fpX!hYj(hJFo()qUQCI=Gl2RI*4-U{%LzSicIiv& zAAXIRASHr4RD<5xq8Cl|)Z<XE@)$ZB`t_1fm21y&fEs%g2Wf3J+v&<t?&vY8cZV^L z+&g0bY?>TTg|~Vu)60o=DnA0R{d1YWPHKEbE}td@1C8Le?mw4ZI>}KFaS60c{Ix3m zJ8>>N=H&j=YZXn4@)2Cv)|e|HC6x2L{!g$56SL~u#}66jV(l3_Apa5`cZJ*vAAOf? z&$<KzY}NknB!lKn&Zeqdq2=5H1pYr&&{Oe2zs`D0JtBWYNoB1=%oE@V2+uVm&}$;Z z$9K^P)t7d6s_Buz7UABO+6Q2p1zkT;ck_riAWK#l2oKYaprb9;p94^`Y!Q^N$BYBk zbwJ2*MdtKOaaCBTcmk22_m9wwP|mWGFpK{HstS|*?@LYO3z5*M*q;G=Ei)TM-XLDh z4sbOZhvkz%vqQc0P;i5BS4*hMzVL0}YWxT5uEqd4lUK6H!TI94FJv<L5e634*UkXi z1kH+rjJK8p7uCJZMEt;s`7t>7XXcAu*&zOQ`AB)ChjkKS=dvp-LS*NInd2Ss(r33+ zKSY3Ije(J`<nRn~+{mrX0df$_o8w7{hmQV0edi|`Y`oQ|P*rZ%8OF>D?DvLTdRC37 zm8(T=t@liPC59ZL;uzTJvz`fL(2Jjdx-X*%us%gqd^zQ?{=->LO-&^q7ZVeE+HNV! z^I&PTa_YH|gkGyMV2=z_@FFZdi6r+zg-1SKUQ3MT2vJRNx_}O7&FGy;(TTfStM24f zu6}p(I7A`CM4=v5JVm+v{S@#P<<2<GAHd_B&g?b<`r~5r(w}^3JwPvfVzFZ}RS$k5 z4ahvYeEdtzniXYat|tP2dGrhl;_TEtEfHhkFRTh)#p_E)5_k(&*tAjuC{(RWIz8{H zrZUsPG$-AfZ4;=L5CC#@top45-2SJnGt0)J$clz=kay}w%m$Wr9`f@zCoK^aSnW4L zePuR{w88gDN!U#lQsj?A@^0S$=SK<2Wbl*(BGCS&9a^t-N*a(q4_k3PMIc+{I>Pro z0k#f0IsnpKY}TAlti63c*T-xY5L{q^uDq@wu5UA54O?by5CoTlGXeDEMM2GBN#(Hj zpz9><#>D-S1&luYp%Fg+0<vRvUFVSRvrh3@s6&VXV`T$tvsZLntYB5R-1Mx3<&dDj zb?50Vo?;clWGIK5EMo`<l22Knm)y2YF@E^|w5S%GOxWJz$pUSz&*b*D|B7n6z$f17 z;g^ghfWlqDbL|Qcr6iQFTm@(6k#@`%hiP8;*=8Q>@XSFALc*puCr5a7WyVFk^=<|N zw6k3X;wdFhzp3|T#UWX>hmF4=3MhhJy!$|z3hd*)W$xf@PNN3E!tOtgxkZy^;$>>k z$8qo8HR=Yl0rb?~-kt|I8(=a9%tHQsoTYP*L2G5##wV3x6&+PK{_N(P+U`A<c3hP~ z!+|4_e*55VN#~=(8Fd|okE=kNzPq7Nkfg!$@HHsmPx3OPl%<r63p)Ehc&qRz&J#ZI z%aL*mU=JRa+a!zQ|J#>&qNLbQW2+(Lo_eTdVWZ6vgNE}Uj``11&R4y)NW`}(z_<qQ zt~ydi#(4mQb_?i0#NG9!+Vmu{U!;BMn)UQfjCTfyxXF9)ts$o{a4>(y>wOZI%=2BC z)nsIj76az~Q1}r-n0|TAdL_Y6HBihhlCZG2sJfr5fBxh6d#n?{E7JP`A(xn%oz(3T zje7Rk@KC_`%;WKU`U;Rso2ftO(<d5WXLnCfLGv^Fp1CFvx;Ox=!T-m0)2y1bgxG{* zY3CVGp9*4FG+aPC4Sn$ki<#=|=Hf{1>1RL%4?8z}!c&o3rXEzB%&(Ac(z%g1z9>7i zfWV&ME=SgWG&e{x=Cq`Pl3M!OiUuK8&`jWJWN6sDGMAr_GurfMon9l4b)S_&wx@yx zv;nqT@wW_%>I(xXvhw*B(2{lrf%^b*h$r!?D;M>a+S)L4Y5?{h92rS_sUZOXg0#-L zCedfD@#c(YmR~pvdZ|$<ZN{m%KYzUx7dO@q#-CyGLPI!da%(tQklxH!o-)UBEZyq( z{dYHGAJl!1{og8;Sl1ibd0c4t5wEA}Xvt=5Y|IIS1kJYEiqfy>h--Drsi=2luiJds zCrK<c>|zpBgMV-xlt4Z0Sc~Ez@xaxogE-*8f}IX<F5SUq<s<TIYPqRKg?5Kh1gGv% zR?vthvcs^f3DRC5{QXx17zFKN&`}_HmBRcpW*o8xT74lomEki1<U0Z%F!+C;Tb(JF zc1SvuXwDBT6<Qnrl>=sZ;fWoH1o)oC)m2<LLQa^c1|iErlR!~_F}Ofh`gYvZdy)*C zDcHB1tPbM#T;Nq_Wf=OdsC*IxjB_Ax$NtTmJsE%~;Rz>m`tyK7#C<kwqhBXFh}5hA z<E+NuXAw(JW{GyvJF4kqPLl7DJa(YVZQ+ahm2J)#rq7UtPys!sM<bJf;)kd|!89uV zvj~(fbdYu2I|~tX;8V3IO4;02D_11Bw??Ds%Ne|4|CuS?7RnP<P%j(TiIeLu3boc~ z98~~iS#r+-4#;fY11->F1sLI!9==62Pg0sKme`R?=3E7<ob+HpBFpzvU_skxqER8x zT($ZH{4s#UaIK(Dzxy_OucM=bx1eobe}1WYI99P}$fE$nix+0i_VO^BBm`(7y-!4g z6e*9P<|e7eeX#tnN7Kd7EfOH@IbAch=Y%%Vg@f~vpvihN5dqlGdS5~NXbk8dKE$Y6 z%=#TrR00}7w7bT95IX<P_yxzl?S6-#0N*L>*EOEY2S$KhJdw}~Bmi8h-y#2}@e7Jx zqm(YtawZR?P*pB9hy3?-l{v$1j-N)26K93C4?TLZy~haR^TMZA7fP>7_0*|W9?<j1 zSqaLE%RgWH9QK0(E4>4JB$MaYBf1oNfO;<Omze4tqh6~vr!n*Azn`$|G{t4$J7yy^ zJ_{hR(eBYLhpn?9u*aTC>Ffrwq(m~E6-m=sE{?3jkYjRs5D#%Nc}%#>t?htmV~S2m z5_A=-x)CR+MDqingDP+hJf2@sy3C<Iudk1W<Z=8=hFst(29X+It?wS98yq&}$i&}) zPMCcv_$<Q(I+6p!);123#32V&H+}dk<RO3%ONDL!I}b6tMW4C69E19i<7qe=?e{Sx z^nBWQT^5H`eYHQOUXPi60;m=Mm3$4`{B^VS&G@J`ZDN7>Vmv>@JlEk3WSRAAqvQji z2<7DfeO$gDg)Yd$mJ1H$YGi<R>$nw`C9szbd2lX`Rl7QZCR0M_kIgstTkPOlnLt;^ zd+X<AYgFsGh;zeihvV)<-URxPo(pVky#PwCQ3xmnE-@Uyur20+Jq>XMe`fu$taEiv zKhYFUd2nU_BtX{*pdt#x;Np{$Nchkn3U3_4u-bDtpg#8Y(3$m;hh=eCoMb-~PlP!z zwE}_)lrw>#S$DAX%rNGaLC5b1FU4R_2^E*g78Fa1NI3b?@HAl5%2Hc{wM=0K^+JO* zJmD40H!IF`^Wzo?*+$_6l#Ju7#xr#DCp-90N$JKVx!s@H{9`}2W|U$2Z-}I~2Y{U0 zmRn<f1*1HF&;S}>Ln|#VsTz$icWm!Ey}tgz=6U{&fNu?VPsxPX!rRc6DM~78+<D{A z!K!J1%*CBqD(24ociWTMWBRk!2PVL8fhMuKQmfj9S(7*^iu9ZDRE#~{UyzF${t(E! zUp@F*#W&R)ye)51^utacvQVNwYkb2^3oluWKBSM%Klt2W=q&V6)n3|ve6)s;aBF|D zhMxQ3Loe*cN!U~5a+b5~B}K)p_JPX;ZEZIqRia;#Cq}~vgF=4;Ef^*N4mE%sI(N!` z;w-GKF<P!x64`h63WfRi6NE@qP4&w!zI;*9AW{f{FM(vl$t@W5;(msyG!ufiS5!g5 zk%qCqgfZ-4KF}GsdpbOF5O$^hN&6s8BauYWYFWl%B>-XuTW$sK0I;~vAZoXpgf(Fp zjeWFCM3CBgs5taD7W(YvqZ8>yg_|D!t8m)X+=IofbZC+(7Ayburxg0BU1$vO01 z6R}eQilo!HD1kWbFmLbkVrXZ8Wj|kYy+$(y$%QzeaAHtwU%}xMKEP>7MI5xuJy;mV zU<s;3^iyf@83ITOIrn}LwwIm0#r!*t83tpv=VWa#gm+a=Qs5^eH2Q?VcL%iQUSfbC z$se3?`=sAFz#oMJcmR?jMqunCF|dR>7il+?2&@Gls5qPx3P?grQPj|8@+t-h=`Mgz zJV-?{86Yp&P6+{V$>BE!S`R->p|rabhGeDPUgnfyKtdG;K!<b>D4@&_KNbPghc`88 z^|@AcE6;M490k9=0$S0vD9l!o;DZ^kWPA^ZTBVxcgBdJ(*kEulKwC6q^%Rq*_J3gz zI;V~5vqInwd$93}B1kuOFco#cxMn6IO4x{KH!%0SI9>S5XfkIF`u`j7JdQLKMsMJ9 z8Q`jXh8GNz8jdRdV4e#!zJ$Z`z(1hz=YYmrb*Ln~2UT4Y85m^Ugg)#BvVn`T8#pGg zoKgP44D1vzC|!E%$p8%5utU=rtbCZ~vm6ljR`|2dv=nH)fNdH>L&r^@1G+*2{acnr z0JY=+k7bd$pbOGc06Y}rLB|etMwa>mx-rZQ7Ea8ISx!v%SkQCV6c{@k{~Dq_7#P}h zJec++`QGC`{9!gk5Og$4$J^W6rvqp7_bGZFxCPv*oRj@+QcXLsO!)v@B>F%Ocmjmu zG?tob;8@x^;FzRF_P4Gzzqf)W-+{7fK-s`qEIGh+3XQ;14E6%c#1yTmQk(kcs5RDy z8_l#)p6hqt;{*Ghqp=JP>?#vp$uh}<_Uqo9HAm(33V*X2<wp4ed1Ij5n<)omfg6qP zC2g#j(X;OQEq6Z+V3!{_Ed!d-{s2r$57^Tf7|y@QIRG5vpYQci7C6NC`dReiK)vbz z)hBwy%sQK9@Be`P4=`a>cnLQG=WBI=&C*4{=_=q<X$NE%c5S5A)L&eU@*jkOp=IgI zl4AG=v=}Pf?a}hn^RIrMzhzq7o$$3`_H`E=+5gTCap(Nga32^$5}9huz(#Zb>JY8t z>wx<^DkN8?Kevya6}8rECotE(1-j(EjtJL(RbQ4`1vij}Y&DjsX)OsJZXf-DgUvrd zJ=&ka7rp@pPZs@|3EU#N6u3rW{!E``E8aFW@YC@qBcN3e=DXXz`p^C#U%2kBaV~J7 P5AZ}MS3j3^P6<r_0uLaz diff --git a/ivette/src/sandbox/sidebarMocking.tsx b/ivette/src/sandbox/sidebarMocking.tsx new file mode 100644 index 00000000000..5b678f03a68 --- /dev/null +++ b/ivette/src/sandbox/sidebarMocking.tsx @@ -0,0 +1,75 @@ +/* ************************************************************************ */ +/* */ +/* This file is part of Frama-C. */ +/* */ +/* Copyright (C) 2007-2023 */ +/* CEA (Commissariat à l'énergie atomique et aux énergies */ +/* alternatives) */ +/* */ +/* you can redistribute it and/or modify it under the terms of the GNU */ +/* Lesser General Public License as published by the Free Software */ +/* Foundation, version 2.1. */ +/* */ +/* It is distributed in the hope that it will be useful, */ +/* but WITHOUT ANY WARRANTY; without even the implied warranty of */ +/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */ +/* GNU Lesser General Public License for more details. */ +/* */ +/* See the GNU Lesser General Public License version 2.1 */ +/* for more details (enclosed in the file licenses/LGPLv2.1). */ +/* */ +/* ************************************************************************ */ + + +import React from 'react'; +import * as Ivette from 'ivette'; +import { registerSandbox } from 'ivette'; +import * as SideBar from './sidebar'; +import fileIco from './icons/file.png'; +import folderIco from './icons/folder.png'; + +/* -------------------------------------------------------------------------- */ +/* --- Mocking --- */ +/* -------------------------------------------------------------------------- */ + +export function SideBarMocking(): JSX.Element { + Ivette.registerCategory({ + id: "file", + label: "File", + iconPath: fileIco, + children: SideBar.secondaryMenu1 + }); + Ivette.registerCategory({ + id: "folder", + label: "Folder", + iconPath: folderIco, + children: SideBar.secondaryMenu2 + }); + Ivette.registerCategory({ + id: "lorem", + label: "lorem", + children: SideBar.secondaryMenu1 + }); + Ivette.registerCategory({ + id: "ipsum", + label: "ipsum", + children: SideBar.secondaryMenu2 + }); + + return ( + <SideBar.SideBar></SideBar.SideBar> + ); +} + +/* -------------------------------------------------------------------------- */ +/* --- Sandbox --- */ +/* -------------------------------------------------------------------------- */ + + +registerSandbox({ + id: 'sandbox.sidebar-mocking', + label: 'Sidebar Mocking', + children: <SideBarMocking />, + }); + +/* -------------------------------------------------------------------------- */ -- GitLab