Cancel Faster in ProximityEObjectMatcher96/93496/2
commit621b4e5d9b7b73cd31d6d4c32b0ce86f4e4b7dd8
authorStefan Dirix <sdirix@eclipsesource.com>
Tue, 21 Mar 2017 11:06:52 +0000 (21 12:06 +0100)
committerLaurent Goubet <laurent.goubet@obeo.fr>
Tue, 16 Jul 2019 12:26:08 +0000 (16 08:26 -0400)
tree9abf121cdcdb0b3e0409d1a24676d67a83bdffac
parent20f1631e641c8fbd8bf80ff3c2fd24cd0b02159d
Cancel Faster in ProximityEObjectMatcher

When the given Monitor indicates 'Cancel' the ProxmityEObjectMatcher
will return faster.

Signed-off-by: Stefan Dirix <sdirix@eclipsesource.com>
Change-Id: Ie767d059be1ab6f1f4d5979098d0d237b3476cc8
plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/match/eobject/ProximityEObjectMatcher.java