external get_border_window_size : [>`textview] obj -> Gtk.Tags.side_type -> int = "ml_gtk_text_view_get_border_window_size"