Source position: gtkwidget.inc line 539
function gtk_widget_get_display(
widget: PGtkWidget
):PGdkDisplay;