Redirecting to
fn.gtk_text_view_get_border_window_size.html
...