Hola a todos: hablando de otra cuestión, en la versión de mayo 2012, se añadió la función favoritos, pero aun no he podido averiguar para que sirve, y en especial, como se utiliza. Ya me tiene loco. ¿puede alguno aclarármelo? También en la lista de canales TDT que sale al pulsar OK, en la parte baja hay otra ¿función? de favoritos que no hace nada al seleccionarla. ¿otro bug? Gracias de antemano.