Hola a todos! Estos días ando pegandome un poco con HTML y PHP y haber si alguien podría nombrarme algun buen editor (en plan con colorines para las etiquetas). En windows el phpedit y htmlkit sobraban para lo que necesitaba, pero en Linux desconozco que herramientas se utilizan . Agur!