(Frodo) Small bug fix Instead of the contents of `font', the font pointers were compared; so they were often inequal, leading to too many font emitions.