WP Code Editor adds code editor to all the code editing screens of WordPress, including the Text tab on posts edit pages.