diff 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 diff
--- /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>