mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
+ .markDirtyRecursively() marks 'dirty' only in-memory children -- probably, to reduce the loading. Such semantic makes its effect unpredictable, since the actual files to refresh depend on that files were already in-memory at the moment of markDirtyRecursively() call -- which is very hard to predict. E.g., the actual set of files to refresh may depend on scanning has/hasn't finished already -- i.e. subject of race conditions => semantic is changed to 'always traverse all the children known to VFS, loading them if not yet' (cherry picked from commit 3dfe1adb9e0b167216373304680448b633d9269f) IJ-CR-184035 GitOrigin-RevId: 64716f0240dfeecba483e354bf77e21a0105ce08