temporary disabled edts
added auto-highlight-symbol-mode