mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
This feature can cause confusion to users, didn't work correctly and if implemented correctly can be fairly expensive to compute so it was decided that it was better to remove it. #IDEA-355402 Fixed GitOrigin-RevId: 38e4fb787c41a55967811de9994708459da5e778