Ich möchte in bestimmten Einstellungen des GitHub-Inline-Editors arbeiten, daher stelle ich sie manuell ein:
Aber jedes Mal, wenn ich eine Änderung im Inline-Editor festschreibe und anfange, eine andere (oder dieselbe) Datei darin zu bearbeiten, wird immer auf die ursprünglichen Einstellungen zurückgegriffen:
Also muss ich es bei jeder Bearbeitung immer wieder einstellen.
Kann ich es dauerhaft einstellen, um meine geistige Stabilität in Reichweite zu halten und nicht verrückt zu werden?
Für mich war ein solches Merkmal so offensichtlich, dass es nicht noch offensichtlicher sein kann. Ich wollte eher denken, dass ich hier eine schnelle Antwort bekommen werde, dass es bereits implementiert ist und mir nur einige Konfigurationsmaterialien fehlen, um es zu aktivieren. Ich meine, wie hat GitHub ohne diese Funktion so lange überlebt?
Da es hier keine Antwort gab, habe ich dies GitHub gemeldet. Es stellte sich heraus, dass ich mich geirrt habe - es ist für andere nicht so offensichtlich, wie ich angenommen habe. Ich habe gerade eine Bestätigung erhalten:
Vielen Dank für Ihre Rückmeldung! Wir arbeiten ständig daran, GitHub zu verbessern und berücksichtigen jeden Vorschlag, den wir erhalten. Ich habe Ihre Idee zum Speichern Ihrer Inline-Editor-Einstellungen zu unserer internen Feature Request List ™ hinzugefügt.
Wir kommentieren nicht öffentlich, ob oder wann wir eine bestimmte Funktion implementieren können, bis sie ausgeliefert wurde. Ihr Feedback wurde jedoch definitiv aufgezeichnet.
Das ist alles über die offizielle Erklärung / Antwort von GitHub. Ich hoffe, andere finden diese Funktion eine Implementierung wert (fünf Abstimmungen an nur einem Tag scheinen zu bestätigen, dass andere das auch wollen). Hoffen wir also, dass dies auf der Feature Request List ™ von GitHub überlebt und bald implementiert wird.
Bearbeiten (nach vierzehn Monaten seit der Beantwortung): In dieser Angelegenheit ändert sich nicht viel. Nicht standardmäßige Einstellungen, die der Benutzer im Inline-Editor vorgenommen hat, werden weiterhin nicht gespeichert. Der einzige Unterschied besteht darin, dass die Standardeinstellungen ein wenig geändert wurden. Jetzt ist es:
Das Speichern von Benutzereinstellungen im Editor ist naheliegend und einfach zu implementieren. Wenn es in den letzten vierzehn Monaten nicht implementiert wurde, sollte dies eher darauf hindeuten, dass diese Funktion überhaupt nicht implementiert wird. Das Mitleid...