Fix event table selection handling
A SelectionChangedEvent should be fired when the selection changes due
to a Search match.
The selected rank should be updated when the selection changes due to
the gotoMarker() handling.
Change-Id: Iaec404049edf126f43ee6d049cdc8263f4e1c5db
Reviewed-on: https://git.eclipse.org/r/9941
Tested-by: Hudson CI
Reviewed-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
IP-Clean: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Tested-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Reviewed-by: Patrick Tasse <patrick.tasse@gmail.com>
This page took 0.031082 seconds and 5 git commands to generate.