Fixing double highlight between keyboard and mouse mixed use. DEVELOPER-495