Source position: gdkfont.inc line 58
function gdk_char_height(
font: PGdkFont;
character: gchar
):gint;