[Ur] HTML Edit control

[Adam Chlipala]

OK, I've now updated my old code, and the Ur/Web Gui library
     http://hg.impredicative.com/gui
now contains a wrapper for CKEditor
     http://ckeditor.com/

In the Gui repository, see examples/ckedit.urp for a working demo; and 
please don't hestitate to ask here any further questions.

On 08/27/2013 08:42 AM, Adam Chlipala wrote:
> On 08/26/2013 04:06 AM, Sergey Mironov wrote:
>> Hi list. I badly need HTML edit control to let user write
>> simple-formatted text and send it back to the server. Did anyone do
>> the integration of such an edit before? Maybe any suggestions on which
>> one is better?
>
> I built an FCKEditor FFI wrapper at some point, but I never released 
> it.  I might be able to dig it up some time soon.