WP Editor: el editor de código por excelencia para WordPress
Todos sabemos que utilizar el editor de WordPress puede resultar incómodo. Ya sea que uno es un desarrollador o bien quiere hacer una pequeña modificación en su theme. Sucede que el mismo quedó un poco relegado y le faltan cosas que a esta altura ya debería tener. Por eso este plugin es ideal para reemplazar el viejo editor predeterminado por uno nuevo.
Pero cuando vean la potencialidad que tiene el mismo sin duda quedaron tan sorprendidos como yo.
Por un lado hace una pequeña modificación en el navegador de archivos de la derecha. Mucho más vistosa y elegante, gracias a AJAX. Permite buscar cadenas de texto con diversos atajos de teclado y lo que hace lo mágico para mi: pone numeración en el código y por sobre todo lo resalta con colores. ¿Cuántas veces han tenido que lidiar con un error en la línea x? Pues sin duda esta es una santa solución para salir rápidamente del paso.
Y para cualquiera que trabaje desarrollando sobre WordPress ya se ha convertido en una herramienta indispensable.
Pingback: Referencias WordPress para 10-agosto-2012 | WordPress Directo
Pingback: WP Editor: Agrega un editor de código para editar los temas de Wordpress | Punto Geek