Add highlight-symbol setting