external remove_selection_clipboard : text_buffer -> clipboard -> unit = "ml_gtk_text_buffer_remove_selection_clipboard"