That has yet to materialize, but the community has come to the rescue. A plugin called Power Code Editor exists that does simple syntax highlighting and improves font that is used in the editor. After applying the plugin, your code editor will look like this.
If you’re interested, you can download the plugin here. Or, from within the WordPress plugin installation menu search for “power code editor“.