Fixed GraphExplorerImpl to set selection upon keyboard-based selection 45/2445/3
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 10 Nov 2018 10:43:08 +0000 (12:43 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sat, 10 Nov 2018 10:48:13 +0000 (10:48 +0000)
commit75dc26dacf421e7027e959643963af1efdf10986
tree5269be7c689b6ebe8683aa69b302e3915264cc78
parentb885083762a43ec97162a5f77df4fd5f85e28979
Fixed GraphExplorerImpl to set selection upon keyboard-based selection

Previously scrolling the selection using the keyboard and then pressing
Enter to open the selected resource would result in the wrong resource
being opened because the selection hadn't yet propagated through the
postSelection event.

gitlab #184

Change-Id: Ib1f837b3cb8eb70b32508e4abee36cfa995886ed
bundles/org.simantics.browsing.ui.swt/src/org/simantics/browsing/ui/swt/GraphExplorerImpl.java