Насколько я понимаю, правки, внесенные в format.js, author.js и TextWindow.js
являются хаками. В моем случае они помогли решить проблему с поломанной подсветкой,
но одновременно они ломают историю изменений. Например, если выделить блок кода и нажать Ctrl+D
визуально все отработает как надо, но после этого начинаются проблемы с отменой и возвратом изменений.
В отдельных случаях, даже вылетает исключение (воспроизвести повторно не получилось).
Хотелось бы более корректной работы этих скриптов.