external end_user_action : text_buffer -> unit
    = "ml_gtk_text_buffer_end_user_action"