fixed dehighlighting synonyms metric when turning off display synonyms button