mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +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