tree bf23c202975f4ee560b51b66bccacfba4ff853b6
parent 15c4e30922976a8dfe666b9d33d5bc0de556ec77
author Claudio Guglielmo <claudio.guglielmo@bsiag.com> 1608113421 +0100
committer Claudio Guglielmo <claudio.guglielmo@bsiag.com> 1608142076 -0500

Fix shrink/enlarge navigation key stroke rendering on safari

The additional keys must not be visible on the ui.
By adding them to the which array the keystroke manager tries
to render them which does not work well.

283191

Change-Id: I4bbcd2abdb8992bf130a08920de4d1fe2d9fa56e
Reviewed-on: https://git.eclipse.org/r/c/scout/org.eclipse.scout.rt/+/173850
Tested-by: Scout Bot <scout-bot@eclipse.org>
Reviewed-by: Claudio Guglielmo <claudio.guglielmo@bsiag.com>