[Ur] HTML Edit control

[Adam Chlipala]

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.