--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ckeditor.ur Thu Nov 21 18:19:02 2013 -0500 @@ -0,0 +1,9 @@ +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>