external delete_selection : text_buffer -> bool -> bool -> bool = "ml_gtk_text_buffer_delete_selection"