]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
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)
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


No differences found