src/cm/media/js/lib/flexible-js-formatting/clip.js
author raph
Tue, 20 Apr 2010 11:14:21 +0200
branchpreserve_html
changeset 259 0371caf8bcc6
parent 0 40c8f766c9b8
permissions -rw-r--r--
always use pandoc but in raw mode for html->html convert

if (window.clipboardData) {
    c = window.clipboardData.getData("Text");
    if (c) {
        document.write("<p>The contents of your clipboard:</p>");
        document.write("<blockquote>" + c + "</blockquote>");
    }
}