updated HTML Editor definition.