Translations:Preferences Editor/295/fr

Pour supprimer un dépôt, sélectionnez-le dans la liste et appuyez sur le bouton.
 * Le gestionnaire des extensions inclut une prise en charge expérimentale des proxys nécessitant une authentification, configurés comme des proxys définis par l'utilisateur.
 * Le gestionnaire des extensions tente de déterminer l'exécutable de Python à utiliser pour l'installation automatique des dépendances Python basée sur pip. Pour remplacer cette sélection, vous pouvez définir ici le chemin d'accès à l'exécutable.
 * Le gestionnaire des extensions tente de déterminer l'exécutable de git. Pour remplacer cette sélection, le chemin d'accès à l'exécutable peut être défini ici.
 * Si cette option est cochée, le gestionnaire des extensions fournit une interface sur l'écran de détails des extensions qui permet de changer la branche git actuellement extraite. Cette option est destinée aux utilisateurs avancés uniquement, car il est possible qu'une version d'une extension sans branche primaire puisse entraîner une instabilité et des problèmes de compatibilité. Git doit être installé pour que cela fonctionne. A utiliser avec précaution.
 * Si cette case est cochée, les téléchargements git sont désactivés.
 * Si cette case est cochée, les options du gestionnaire des extensions destinées aux développeurs d'extensions sont activées.
 * }
 * Le gestionnaire des extensions tente de déterminer l'exécutable de git. Pour remplacer cette sélection, le chemin d'accès à l'exécutable peut être défini ici.
 * Si cette option est cochée, le gestionnaire des extensions fournit une interface sur l'écran de détails des extensions qui permet de changer la branche git actuellement extraite. Cette option est destinée aux utilisateurs avancés uniquement, car il est possible qu'une version d'une extension sans branche primaire puisse entraîner une instabilité et des problèmes de compatibilité. Git doit être installé pour que cela fonctionne. A utiliser avec précaution.
 * Si cette case est cochée, les téléchargements git sont désactivés.
 * Si cette case est cochée, les options du gestionnaire des extensions destinées aux développeurs d'extensions sont activées.
 * }
 * Si cette case est cochée, les téléchargements git sont désactivés.
 * Si cette case est cochée, les options du gestionnaire des extensions destinées aux développeurs d'extensions sont activées.
 * }
 * Si cette case est cochée, les options du gestionnaire des extensions destinées aux développeurs d'extensions sont activées.
 * }
 * Si cette case est cochée, les options du gestionnaire des extensions destinées aux développeurs d'extensions sont activées.
 * }