src/cm/media/js/lib/flexible-js-formatting/clip.js
author raph
Mon, 12 Jul 2010 16:37:32 +0200
changeset 289 285e67006eb0
parent 0 40c8f766c9b8
permissions -rw-r--r--
fix error when last text_version is deleted

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