I work in the "Text editor" of Wordpress a lot, I like it better than the "Visual editor" for some reason. What I really miss is a pre code wrapper, so that's why I added one myself manually. Here's how I did it:
1) Edit the functions.php file in the Themes folder
2) Add this code at the end of the file:
3) Save the file and voilà, you are done!