Gtk.TextView.prototype.get_border_window_size

function get_border_window_size(type:Gtk.TextWindowType):Number {
    // Gjs wrapper for gtk_text_view_get_border_window_size()
}