Draw.RichTextHeight (gb.gtk)