public void changeFont(Font old_font, Font new_font)(Code)
Updates records' font.
Changes one specified font into another in all records.
In text records also updates indexes.
Parameters: old_font - old font Parameters: new_font - new font
Returns vector of
TextRecord s from this textblock
of specified font.
Parameters: font - font of text records to be returned text records of specified font