add auto-highlight-symbol

add auto-highlight-symbol