Font.

[TheHmmka]

I need to change font but I see an old font in animations. I fixed it, but can't create pull request.

-(void) setFont: (UIFont*)font
{
    [super setFont: font];

    @synchronized(self)
    {
        for (NSMutableDictionary* attributionStage in self.attributionStages)
        {
            UIFont* prevFont = attributionStage[NSFontAttributeName];
            attributionStage[NSFontAttributeName] = [UIFont fontWithName: font.fontName
                                                                    size: prevFont.pointSize];
        }
    }
}