mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
First from here: com.intellij.util.indexing.FileBasedIndexPluginListener#beforePluginUnload And also from here: com.intellij.util.indexing.FileBasedIndexImpl#FileBasedIndexImpl Keep only one (the most generic) place - FileBasedIndexPluginListener. Unregistering ID on plugin unloading is not correct in general case, because it clear index.id-plugin association, but will keep index storages. Old storages may accidentally be accessed by another plugin declaring an unrelated index extension with the same index.id (name collision). (cherry picked from commit 38cbc7d0a809194f32327535fbb6657f63ec2834) GitOrigin-RevId: 2b40c44635948b0f2b36b148f428b2e29f8dc331