Event.PasteSourceThe type for text paste events.
Wraps pasted text with propagation and default-prevention flags. See Key.t for a description of the dispatch model.
of_text s is a paste event containing s. Propagation and default-prevention flags start as false.
stop_propagation t prevents t from reaching the focused-node handler tier. When called in a global handler, the event is not dispatched to focused-node handlers.
propagation_stopped t is true iff stop_propagation has been called on t.
prevent_default t marks renderer-level default behaviour as prevented. After global paste handlers run, delivery to the focused node is suppressed.
default_prevented t is true iff prevent_default has been called on t.
equal a b is true iff a and b contain the same text. Dispatch control state is ignored.
pp formats a paste event for debugging.