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