mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 11:50:54 +07:00
- add async to avoid problems with modality - use interface EP to allow dynamically specified id - log error in case of multiple providers for the same id GitOrigin-RevId: 72acd2c6dd1bc1c43683cf789973f47df374c1bb