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