mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 01:43:23 +07:00
Previously: Assume we use language level 24, but JDK 25. And that we used some *preview* API from JDK 25. The quick-fix from JavaApiUsageInspection suggested bumping language level to 25. Now: It is fixed, i.e. the quick-fix suggests bumping language level to 25 preview. Merge-request: IJ-MR-172531 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 4966e043c75a3b7ff5c19debe8e600579aad47c3