search

eclipse-platform / eclipse.platform

https://eclipse.dev/eclipse/
Eclipse Public License 2.0
84 stars 113 forks source link

Add ResourcesPlugin.FAMILY_SNAPSHOT API for DelayedSnapshotJob #1490

Closed iloveeclipse closed 3 months ago

iloveeclipse commented 3 months ago

DelayedSnapshotJob may in parallel to any other workspace job and triggers resource changes. Clients that rely on resource change events (like JDT core) should have a chance to wait for possible pending resource changes coming from this job.

Added a family to the job & a constant in the ResourcesPlugin.

See https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2716#issuecomment-2268875660

github-actions[bot] commented 3 months ago

Test Results

 1 734 files  ±0   1 734 suites  ±0   1h 24m 25s :stopwatch: - 4m 8s  3 973 tests ±0   3 951 :white_check_mark: ±0   22 :zzz: ±0  0 :x: ±0  12 516 runs  ±0  12 355 :white_check_mark: ±0  161 :zzz: ±0  0 :x: ±0 

Results for commit fc829503. ± Comparison against base commit 8d5bfec6.

laeubi commented 3 months ago

@iloveeclipse should something similar maybe done for API tools as well? I noticed that sometimes it seem to run in conflict with resource change updates.