Brr_io.ClipboardSourceClipboard access
See the Clipboard API.
of_navigator n is a clipboard object for navigator n.
as_target c is c as an event target.
read c is the content of c.
read_text c is the clipboard textual content of c.
write c is writes the items is to c.
write_text c s writes the string s to c.