Add auto-highlight-symbol