文件oncopy.js
//插入 document.body.oncopy event事件中
//或者 <body>的"oncopy"属性
function copyCode()
{
try
{
var range = document.selection.createRange();
if (document.selection.type != "none")
{
var parent = range.parentElement();
var parentName = parent.tagName;
if (parentName != null)
{
if (parentName.toLowerCase() == "pre")
{
// Replace superfluous <br> tags in a <pre> block.
var re = /<br>/gi;
var code = range.htmlText.replace(re, "\r\n");