Bug 575893 - avoid synchronization between UI and search workers
The search worker thread did synchronize with the UI Thread.
Now the search does not need to wait for updating the UI anymore.
The workers called postUpdate() while the UI was drawing in
runBatchedUpdates()/elementsChanged().
By using a concurrent Datastructure the synchronisation can be avoided.
Change-Id: I64248a05ef2f4d4d9960e90b7be3628e0360bfa0
Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/185271
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Mickael Istria <mistria@redhat.com>
2 files changed
