add auto-highlight-symbol