Press CTRL+C or CMD+C to copy the selected text and close this dialog.
Tweet
5 people like it. Like the snippet!
Simple string escaping.
1:
let es = String.collect(function '\r'->"\\r"|'\n'->"\\n"|'\t'->"\\t"|'"'->"\\\""|c->string c)