Redémarrage par raccourci clavier.
Outre le petit programme de redémarrage à la demande par raccourci clavier, il est fourni avec ce logiciel un utilitaire facile d’utilisation de gestion des raccourcis clavier. Le raccourci, quant à lui, s’utilise en tapant la combinaison de touches Pomme+Maj (shift) et le chiffre défini au préalable dans le gestionnaire cité plus haut.
PPC