2 plugins tagged with preformatted
TinyMCE Preformatted plugin will enable to insert preformatted text like <pre>...</pre> to WordPress Visual Editor.
Cipher allows commenters to publish (pre-formatted) code.
