Feature request: User setting to use plain textarea rather than CodeMirror for file editing

If GitHub users could turn off CodeMirror for file editing and edit with a plain textarea instead, it would open up numerous alternatives in addition to the obvious boring one of simply editing a textarea. (CodeMirror already uses a hidden textarea on the page.)

CodeMirror and various other Markdown editors can be used as browser extensions that can “take over” editing of textareas.  This would allow for use of instances of CodeMirror with customizations for less common languages, customized syntax highlighting and so on; or alternative Markdown editors that may support extensions to Markdown with previews, and so on.

Hello @crisperdue

Thanks for this feedback! We’re always working to improve GitHub and the GitHub Community Forum, and we consider every suggestion we receive. I’ve logged your feature request in our internal feature request list. Though I can’t guarantee anything or share a timeline for this, I can tell you that it’s been shared with the appropriate teams for consideration.

Once again, thank you for your input!

Greatly appreciated,