tree 1ef78f35cf67d6e29aeb33639dfca4852414cc4e
parent 40480fd074c7855d6df0015163f3df254c716a35
author Joerg Kubitz <jkubitz-eclipse@gmx.de> 1631227618 +0200
committer Jörg Kubitz <jkubitz-eclipse@gmx.de> 1631656298 -0400

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>