mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
Still need to handle them sometimes separately, as they should be displayed in DefaultHighlightVisitor, but other clients (not IJ frontend) should process them uniformly as other kinds of errors Part of IDEA-365344 GitOrigin-RevId: 6f08d0c78bf2b3a481fa454ca5f1cadc99ab70cd