]> gerrit.simantics Code Review - simantics/district.git/commit
Fix district finder search result comparison 42/4242/1
authorjsimomaa <jani.simomaa@gmail.com>
Mon, 18 May 2020 10:27:12 +0000 (13:27 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Mon, 18 May 2020 10:41:18 +0000 (10:41 +0000)
commit0f68e5cfd8826c7c4c4bd80a520f8e947dd73b16
tree92dac0a3f6a0fbf4676ef1d12aad13c9201cedfd
parentd29053f165fd2d8ae1f81c0102e2ba6687b74060
Fix district finder search result comparison

gitlab #86

Change-Id: I1d6431c41d3d9cf300a6af47e1f493b5c4be9af1
(cherry picked from commit 733d6a84564945fefe429c5e2a9b23b62444d520)
org.simantics.district.selection/src/org/simantics/district/selection/ElementSelector.java