Hi,
I would like create a customized fold environment. I made a try by copying the folded-documentation macros found in std-fold.ts file to my package style file, and rename them :
<assign|render-folded-exo|<\macro|button|body1|body2>
<\surround||<right-flush><arg|button><vspace|0.5fn>>
<arg|body1>
</surround>
<hidden|<arg|body2>>
</macro>>
<assign|render-unfolded-exo|<\macro|button|body1|body2>
<\surround||<right-flush><arg|button><vspace|0.5fn>>
<arg|body1>
</surround>
<arg|body2>
</macro>>
<assign|folded-exo|<\macro|x|y>
<\render-folded-exo|<action|<with|color|#336666|<strong|<large|<math|<op|\<Downarrow\>>>>>>|mouse-unfold|<arg|x>>>
<strong|<large|<arg|x>>>
<|render-folded-exo>
<hidden|<arg|y>>
</render-folded-exo>
</macro>>
<assign|unfolded-exo|<\macro|x|y>
<\render-unfolded-exo|<action|<with|color|#336666|<strong|<math|<op|\<Uparrow\>>>>>|mouse-fold|<arg|x>>>
<strong|<large|<arg|x>>>
</render-unfolded-exo|<arg|y>>
</macro>>
<drd-props|folded-exo|arity|2|accessible|0|hidden|1>
Now, when i use the foded-exo macro, the new fold environment is created, but nothing happens when I click to the arrow to unfold.