WordPress 4.9 added the Code Editor API (https://make.wordpress.org/core/2017/10/22/code-editing-improvements-in-wordpress-4-9/) to generate CodeMirror editors. It requires a bit of JavaScript hookup but would allow for much nicer WordPress-official alternative to textarea_code.