положим у меня в Навигаторе есть некоторые файлы, которые мой плагин
"обрабатывает". Надо как-нибудь поставить галочку, что файл
"обработан", которая должна сбрасываться после его изменения в
редакторе.
приходило в голову менять шрифт имени файла, приписывать к файлу слово
"обработан"... Менять иконку файла на иконку с галочкой.
Как порекомендуете это реализовать?