Для меня такая особенность была настолько очевидна, что не может быть еще более очевидной. Я скорее подумал, что здесь я получу быстрый ответ, что он уже реализован, и мне просто не хватает некоторых настроек, чтобы включить его. Я имею в виду, как GitHub выжил так долго, без этой функции?
Поскольку ответа здесь не было, я сообщил об этом на GitHub. Оказывается, я был неправ - для других это не так очевидно, как я предполагал. Я только что получил подтверждение:
Спасибо за ваш отзыв! Мы всегда работаем над улучшением GitHub и учитываем каждое предложение, которое мы получаем. Я добавил вашу идею о сохранении настроек встроенного редактора в наш внутренний список запросов функций ™.
Мы не комментируем публично о том, можем ли мы реализовать конкретную функцию до тех пор, пока она не будет отгружена, однако ваш отзыв определенно был записан.
Это все об официальном заявлении / ответе GitHub. Я надеюсь, что другие найдут эту функцию достойной реализации (пять голосов в течение одного дня, кажется, подтверждают, что другие тоже этого хотят). Итак, будем надеяться, что это сохранится в GitHub's Feature Request List ™ и скоро будет реализовано.
Изменить (спустя четырнадцать месяцев с момента ответа): В этом вопросе не так много изменений. Настройки не по умолчанию, сделанные пользователем для встроенного редактора, по-прежнему не сохраняются. Разница лишь в том, что они немного изменили настройки по умолчанию, так что теперь это:
Сохранение пользовательских настроек в редакторе - очевидная и простая в реализации вещь. Отсутствие его реализации в течение последних четырнадцати месяцев должно указывать на то, что эта функция вообще не будет реализована. Жалость ...