annotate ckeditor.ur @ 34:2d195bee1efa

CKeditor wrapper
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 18:19:02 -0500
parents
children
rev   line source
adam@34 1 open CkeditorFfi
adam@34 2
adam@34 3 fun show ed = <xml>
adam@34 4 <active code={id <- fresh;
adam@34 5 return <xml>
adam@34 6 <span id={id}/>
adam@34 7 <active code={CkeditorFfi.replace ed id; return <xml/>}/>
adam@34 8 </xml>}/>
adam@34 9 </xml>