Salome HOME
Issue #2929: Unhighlight on 'H' key press when in preferences highlighting is switched on