necesito saber del nombre de un editor de php para ubuntu que por lo menos cambie de color el php con el html comun alguna sugerencia