Issue 7034: 	Editing <body> in the HTML panel sometimes includes the highlighter HTML