Tentative de permettr à l'utilisateur de choisir le racourcis de redémarrage via le fichier ini et la boîte de dialogue de configuration, pour l'instant ça ça a échoué