Fixed the bug that after changing the string which was found in the editor, the highlight of the string was not deleted.