mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
- only report type with "anonymous" prefix when the left side is anonymous - use short names in the tool tip when fq names would be identical as well - use error color for the entire type name, including the anonymous prefix GitOrigin-RevId: f1555687adb0ab9e7c5850719165a7a508ecf181