external request_text : clipboard -> callback:(string option -> unit) -> unit = "ml_gtk_clipboard_request_text"