mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
A progress indicator is important for calling old Java-based API which falls into WSL+Ijent. Without the progress indicator, the function may freeze for unpredictable time. GitOrigin-RevId: 04a063c555391ee12295882b9a713082aa38fefa