external begin_user_action : text_buffer -> unit
    = "ml_gtk_text_buffer_begin_user_action"