Lavý ctrl a pravý ctrl má defaultne v OS nastavené to tak, že je vlastne jedno ktorú z nich použiješ, oboje sú akoby jedno a to isté tlačítko, podobne aj shift,.... líši sa to iba u alt a alt gr.... samozrejme klávesi sa dajú premapovať a preto je možné aby pravé ctrl robilo niečo iné než lavé, mne zmáčknutie samotného ctrl urobý toto: