de menús para que cada usuario la adapte a sus preferencias. Hay que señalar que se trata de un editor de tipo “código fuente”, es decir, aunque siempre podemos el 31 de Diciembre del 2002
