mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 07:39:39 +07:00
`basePath` and `rootManager` are useless, and will be dropped soon. `baseDir` is also doubtful, but still usable. `ModuleRootManager.getInstance` throws exception if module is disposed, so we use workspace model to make sure module isn't disposed. GitOrigin-RevId: 01507a46539195907fb74e1e43c178fb5ff968c0