let text_height = { Gobject.name = "text-height"; Gobject.conv = Gobject.Data.double }