Impostazione permanente delle opzioni dell'editor in linea di GitHub


8

Voglio lavorare con impostazioni specifiche dell'editor in linea di GitHub, quindi le imposto manualmente:

inserisci qui la descrizione dell'immagine

Ma ogni volta che commetto una modifica nell'editor inline e inizio a modificare un altro (o lo stesso) file in esso, ricade sempre alle impostazioni originali:

inserisci qui la descrizione dell'immagine

Quindi devo impostarlo più e più volte, con ogni modifica.

C'è un modo in cui posso impostarlo in modo permanente per mantenere la mia stabilità mentale a portata e non impazzire?

Risposte:


1

Per me, tale caratteristica era così ovvia, che non può essere ancora più ovvia. Pensavo piuttosto che avrei avuto una risposta rapida qui, che è già stato implementato e mi manca solo alcune cose di configurazione per abilitarlo. Voglio dire, come fa GitHub a sopravvivere così a lungo, senza questa funzionalità?

Da allora, non ho trovato risposta, l'ho segnalato a GitHub. A quanto pare, ho sbagliato - non è così ovvio per gli altri, come immaginavo. Ho appena ricevuto la conferma:

Grazie per il tuo feedback! Lavoriamo sempre per migliorare GitHub e consideriamo ogni suggerimento che riceviamo. Ho aggiunto la tua idea sul salvataggio delle impostazioni dell'editor in linea nel nostro Elenco richieste funzionalità interno ™.

Non commentiamo pubblicamente se o quando potremmo implementare una particolare funzione fino a quando non viene spedita, tuttavia il tuo feedback è stato sicuramente registrato.

Questo è tutto sulla dichiarazione / risposta ufficiale di GitHub. Spero che altri trovino questa funzionalità degna di essere implementata (cinque voti in un solo giorno sembrano confermare, che anche altri lo vogliono). Quindi, speriamo, che questo sopravviverà sulla Feature Request List di GitHub e che sarà implementato presto.

Modifica (dopo quattordici mesi dalla risposta): non ci sono molti cambiamenti in merito. Le impostazioni non predefinite, eseguite dall'utente per l'editor inline, non vengono ancora salvate. L'unica differenza è che hanno modificato un po 'le impostazioni predefinite, quindi ora è:

inserisci qui la descrizione dell'immagine

Il salvataggio delle impostazioni utente nell'editor è una cosa ovvia e semplice da implementare. Non averlo implementato negli ultimi quattordici mesi dovrebbe piuttosto suggerire che questa funzionalità non sarà implementata affatto. Pietà...

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.