Para mí, esa característica era tan obvia que no puede ser aún más obvia. Prefiero pensar que voy a obtener una respuesta rápida aquí, que ya se ha implementado y me faltan algunas cosas de configuración para habilitarlo. Quiero decir, ¿cómo sobrevivió GitHub tanto tiempo sin esta función?
Como no había respuesta aquí, informé esto a GitHub. Resulta que estaba equivocado, no es tan obvio para los demás, como supuse. Acabo de recibir la confirmación:
Gracias por sus comentarios! Siempre estamos trabajando para mejorar GitHub y consideramos todas las sugerencias que recibimos. Agregué su idea sobre cómo guardar la configuración de su editor en línea en nuestra Feature Request List ™ interna.
No comentamos públicamente si podemos implementar una característica en particular o hasta cuándo se ha enviado, sin embargo, sus comentarios definitivamente se han registrado.
Eso es todo sobre la declaración / respuesta oficial de GitHub. Espero que otros consideren que vale la pena implementar esta característica (cinco votaciones durante solo un día parecen confirmar que otros también lo quieren). Por lo tanto, esperemos que esto sobreviva en la Lista de solicitudes de características de GitHub ™ y se implemente pronto.
Editar (después de catorce meses desde la respuesta): no hay muchos cambios en este asunto. La configuración no predeterminada, realizada por el usuario en el editor en línea, aún no se guarda. La única diferencia es que han cambiado un poco la configuración predeterminada, por lo que ahora es:
Guardar la configuración del usuario en el editor es algo obvio y fácil de implementar. No haberlo implementado durante los últimos catorce meses debería sugerir que esta característica no se implementará en absoluto. Lástima...