view ckeditor.ur @ 34:2d195bee1efa

CKeditor wrapper
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 18:19:02 -0500
parents
children
line wrap: on
line source
open CkeditorFfi

fun show ed = <xml>
  <active code={id <- fresh;
                return <xml>
                  <span id={id}/>
                  <active code={CkeditorFfi.replace ed id; return <xml/>}/>
                </xml>}/>
</xml>