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.
- 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.