Source position: gtktextview.inc line 185
function gtk_text_view_new_with_buffer(
buffer: PGtkTextBuffer
):PGtkWidget;