mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Revert to batch processing, but use new EncodingProjectManagerImpl.setPointerMapping and VirtualFilePointers instead of VirtualFiles. GitOrigin-RevId: 4a69146e2dfe192b7bfaf32bd00d5e71e0396ae2