adding auto-highlight-symbol
adding auto-highlight-symbol
adding highlight-symbol