external cut_clipboard : text_buffer -> clipboard -> bool -> unit = "ml_gtk_text_buffer_cut_clipboard"