This WordPress plugin will help you add pre tags into wp_editor.

This plugin replaces a taxonomy term description textarea with the buildin TinyMCE WYSIWYG.