Pour renommer un groupe de conflits

Pour renommer un groupe de conflits

  1. Cliquez avec le bouton droit de la souris sur le groupe de conflits dans l'onglet Résultats, puis cliquez sur Renommer.
  2. Attribuez un nouveau nom, puis appuyez sur la touche Entrée.
 Entrée de commande : F2