PORTING:htmleditor