WP Editor es un interesante plugin para WordPress que reemplaza el editor de plugins y temas por defecto. Utilizando la integración con CodeMirror y FancyBox para crear un editor más avanzado para ampliar las capacidades de edición. Utilizando Javascript asíncrono y XML (AJAX) para mostrar ficheros y carpetas.

Características de WP Editor:

• CodeMirror
• Resalto de líneas activas
• Numeración de líneas
• Ocho temas para el editor con resalto de sintaxis
• Edición en pantalla completa (ESC, F11)
• Búsqueda de texto (CMD + F, CTRL + F)
• Configuración individual por cada editor
• FancyBox para ver las imágenes
• Navegador de ficheros con AJAX
• Lista de extensiones permitidas
• Sencillo uso y configuración

Descargar plugin WP Editor.