Je souhaite travailler dans des paramètres spécifiques de l'éditeur en ligne GitHub, je les ai donc définis manuellement:
Mais chaque fois que je valide un changement dans l'éditeur en ligne et que je commence à y éditer un autre (ou le même) fichier, il revient toujours aux paramètres d'origine:
Je dois donc le définir encore et encore, à chaque édition.
Existe-t-il un moyen de le régler en permanence pour maintenir ma stabilité mentale à portée et pour ne pas devenir fou?
Pour moi, une telle fonctionnalité était si évidente qu'elle ne peut pas être encore plus évidente. Je pensais plutôt, que je vais obtenir une réponse rapide ici, qu'il a déjà été implémenté et qu'il me manque juste quelques trucs de configuration pour l'activer. Je veux dire, comment GitHub a survécu aussi longtemps, sans cette fonctionnalité?
Depuis, il n'y avait pas de réponse ici, j'ai signalé cela à GitHub. Il s'est avéré que j'avais tort - ce n'est pas si évident pour les autres, comme je le supposais. Je viens de recevoir une confirmation:
Merci pour vos commentaires! Nous travaillons toujours pour améliorer GitHub et nous considérons chaque suggestion que nous recevons. J'ai ajouté votre idée d'enregistrer vos paramètres d'éditeur en ligne dans notre liste de demandes de fonctionnalités interne.
Nous ne commentons pas publiquement si ou quand nous pouvons implémenter une fonctionnalité particulière jusqu'à son expédition, mais vos commentaires ont certainement été enregistrés.
C'est tout à propos de la déclaration / réponse officielle de GitHub. J'espère que d'autres trouveront cette fonctionnalité digne d'être mise en œuvre (cinq votes en une seule journée semblent confirmer que d'autres le veulent aussi). Alors, espérons que cela survivra à la Feature Request List ™ de GitHub et sera bientôt implémenté.
Edit (après quatorze mois depuis la réponse): Il n'y a pas beaucoup de changement à ce sujet. Les paramètres non définis par défaut par l'utilisateur dans l'éditeur en ligne ne sont toujours pas enregistrés. La seule différence est qu'ils ont légèrement modifié les paramètres par défaut, alors maintenant, c'est:
L'enregistrement des paramètres utilisateur dans l'éditeur est une chose évidente et simple à implémenter. Ne pas l'avoir implémentée au cours des quatorze derniers mois devrait plutôt suggérer que cette fonctionnalité ne sera pas du tout implémentée. Pitié...