2 plugins tagged with rich-editor
Visual Editor Custom Buttons lets you add custom buttons to the Wordpress Visual Editor.
Add button for code element to the editor.
