Added HTMLEditFormat to editors to double-escape characters used code formatting