Re: sizedText function for Text.PrettyPrint