mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
- in the end, for the physical binary file, the language level would be calculated by the file itself, and for the source file, the navigation element should be the same file anyway ^KTIJ-33883 fixed KT-75830 (cherry picked from commit fece6faa6154eadfb6565ad3ae093c2e7840d31a) IJ-CR-160935 GitOrigin-RevId: 88c2a5d41f41d1c823ca7de6df5e938811e223f0