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