let text_width = { Gobject.name = "text-width"Gobject.conv = Gobject.Data.double }