GtkTextView::get_border_window_size

int get_border_window_size(GtkTextWindowType type);

See also: set_border_window_size()