В каком редакторе есть подсветка не релевантных идентификаторов?
Что я под этим понимаю:

Допустим, есть класс и я изменил в нём некий метод. Тогда редактор должен (если я так хочу) подсветить мне все идентификаторы в программе так или иначе связанные с этим классом по причине их не релевантности.

Вообще разработка и правка программы суть некоторые транзакции, которые нельзя выполнить частично. Например все внесённые изменения в программу при переход от одной идеологии работы с сетью к другой можно рассматривать как одну большую транзакцию. Хорошо бы было, чтобы редактор распознавал тип проводимой в данный момент транзакции и как-то оповещал о её незавершённости.
Ведь не секрет, что большинство ошибок в программе происходят из-за того, что при сложных транзакциях редактирования программы, состоящих из многих операций редактирования в различных частях программы, программист забывает произвести некоторые операции, чтобы транзакция была завершённой.
Почему транзакция может состоять из нескольких операций правки в различных частях программы?
Да потому что часто бывает, что изменив что-то в одной части программы, мы просто обязаны изменить связанные с ней другие части программы. А таких связей бывает очень много. И очень трудно бывает уследить за тем, чтобы все связанные части были тоже отредактированы.

И какие ещё полезные фичи есть в программистских тестовых редакторах?

В С/С++ даже компилятор не всегда может такое проделать, что уж говорить о редакторах. Так что рефакторинг приходится делать руками, что не очень сложно (при надлежащем дизайне).
Пример: указатели и приведения типов.

Visual Assist для MS Visual Studio умеет подсвечивать разными цветами описаные и неописаные имена.
Про транзакцию - какой-то бред. Слабо себе представляю, как универсальный редактор должен уметь понимать специфическую программу пользователя и мысли программиста.

Вы хотите нашару автоматизировать процесс написания программы. Так не бывает.
Как раз структура того или иного языка программирования и призвана помочь программеру не править многократные вхождения текста, минимизировать связи между частями программы, итд.