Actualización de opciones del menú y jquery para marcar opciones en el menú.