tree a6505fa44542aa7c1647a93df8c8502f4cd531fa
parent 73cb0bbe882bd5f5d3607d490565395e29b0aefd
author Ed Merks <ed.merks@gmail.com> 1647597942 +0100
committer Ed Merks <ed.merks@gmail.com> 1647597942 +0100

[579307] - Oomph editor blocking ui

Only do the workspace refresh if a resource is out-of-sync which will be
rare.

Also make the operation cancelable so the UI won't be locked until the
build completes.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=579307