mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
Consumer invocations may result in new operations arriving in `operationStates`, so it has to be a queue, not a simple list. Also fix usage of coroutine scope. GitOrigin-RevId: b170d1f6cf7dc2f5f2c0617aba0f88a4a6dbed6d