По непонятной причине просто отключился. Больше никакой цветовой кодировки. Есть ли какая-то загадочная настройка, которую я случайно отключил?