Source position: gdkmain.pp line 262
function gdk_char_width(
font: PGdkFont;
character: gchar
):gint;