Add settings for highlight-symbol