| commit | f24aa6f44f16619f63ffbe0d79051aa29492a529 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Fri Mar 18 11:05:42 2022 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Fri Mar 18 11:05:42 2022 +0100 |
| tree | a6505fa44542aa7c1647a93df8c8502f4cd531fa | |
| parent | 73cb0bbe882bd5f5d3607d490565395e29b0aefd [diff] |
[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