external set_border_window_size : [>`textview] obj -> Gtk.Tags.side_type -> int -> unit = "ml_gtk_text_view_set_border_window_size"