Simple Quick Tags allows you to add useful quicktag buttons to the Text (HTML) mode of the WordPress WYSIWYG editor via a settings page.
Plugin Tag: text editor
-
HTML Editor Syntax Highlighter
Add syntax highlighting to WordPress code editors using CodeMirror.js
