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