Deleted the __set_properties() method and shifted the frame font size property into __init__().
Authored by: bugman 2010-01-26
Parent: [r10366]
Child: [r10368]