Source position: gtkwidget.inc line 454
function gtk_widget_get_style(
widget: PGtkWidget
):PGtkStyle;