Si eres desarrollador de WordPress,esto te va a encantar. Ya no necesitas bajar los archivos mediante FTP para editar desde tu editor favorito, WP editor es un muy cómodo editor que te permite modificar los archivos de tus themes o plugins, se integra con WordPress y sustituye el editor original.

WP Editor

Entre las características del plugin tenemos:

• Explorador de archivos AJAX
• Subrayado de linea
• Numeración de lineas
• Búsqueda de texto (Ctrl+F / CMD + F)
• Modo pantalla completa (Esc / F11)
• FancyBox para apertura de imágenes

Ademas permite configurar que extenciones queremos asociar.

Olvídate del aburrido (y tedioso, siempre quise que el editor me mostrara la sintaxis de colores) y limitado editor de wordpress, prueba WP Edit, descargalo desde aqui.

PD: Como dato personal, esto de la numeración me es fantástico, ya que desde la consola de Google Chrome veo los estilos que quiero modificar en la “linea n”, pero el editor de WP nunca los numeraba, así que me tocaba buscar a pie, o con F3, y este plugin ya tiene búsqueda integrada.