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