mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-28 15:20:54 +07:00
Also improve reporting, different messages for errors and warnings; reflective preview use reported by inspection Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only) GitOrigin-RevId: d7c85058aed3202d0599fc879a61c0fa56388fea