delete button in HTML editor