Directory / plugin
pre Tag For WP Editor
v1.0 · by Alexandru Vornicescu
This WordPress plugin will help you add pre tags into wp_editor.
About this plugin
This is a WordPress plugin that will add a “pre” tag functionality to your WordPress editor.
Paste your code first, select it and press pre button from the editor’s toolbar in Text Mode.
Selected text will get formatted and specific pre tags will be added.