dribes

Hola, Peter. Gracias por tus consejos. El editor volvió a funcionar en cuanto cambié el tema que tenía. Misterios de la programación, supongo. Recibe un cordial saludo.