Source position: gtkwidget.inc line 422
function gtk_widget_get_settings(
widget: PGtkWidget
):PGtkSettings;