mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
- do not offer an enablement quick fix if the Ultimate plugin is disabled and the given plugin requires it (cherry picked from commit d3d2182b0368a2f55d9b927c049ce3d3cdfb8e85) IJ-CR-172226 GitOrigin-RevId: 98008448f08a14001b2083c0a9d4af069d991eb8