mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-27 05:20:54 +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
172 B
172 B