mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 05:09:37 +07:00
Python run configurations don't use any indices, so it's safe to update/invoke them while indexing. This change enables Run / Debug / Profile / Run with Coverage / Concurrency Diagram. GitOrigin-RevId: 4993c859983c336b88984033ae209fc221290e2a