El editor de texto, o HTML, de WordPress está muy bien pero carece de la facilidad de uso de cualquier editor de código externo, como el coloreado de sintaxis o teclas de método abreviado para guardar……

Fuente: Editor de código resaltado en WordPress