Gtk.TextView.get_border_window_size

Gets the width of the specified border window. See gtk_text_view_set_border_window_size().