package mosaic
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=9e4e90d17f9b2af1b07071fe425bc2c519c849c4f1d1ab73cde512be2d874849
sha512=06e9c4a741590942e81a27738d0b5c0413fafec8cf3b7dae047ad69f155e7b718aa4223818dc161b7d028efffcfd3365905e264d6fd31d453910ddfa91dcf9b9
doc/mosaic.ui/Mosaic_ui/Event/Paste/index.html
Module Event.PasteSource
The 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.