auto-highlight-symbolとhighlight-symbolの設定。