Reparando el bug que impedía aumentar la fuente en el intérprete.