Updates the HTML editor