remove copyToClipboard (doesn't work)

diff --git a/functions.js b/functions.js
index 2857072b7854dd902dc191d595e79d642016bcc0..9e38e45b0bf2e6296d482f2f12d6a95eb9ef3d7a 100644 (file)
--- a/functions.js
+++ b/functions.js
@@ -1751,47 +1751,4 @@ function displayHelpInfobox(topic_id) {
        return false;
 }
 
-// http://www.dynamic-tools.net/toolbox/copyToClipboard/
 
-/*
-function copyToClipboard(s)
-{
-       if( window.clipboardData && clipboardData.setData )
-       {
-               clipboardData.setData("Text", s);
-       }
-       else
-       {
-               // You have to sign the code to enable this or allow the action in about:config by changing
-               user_pref("signed.applets.codebase_principal_support", true);
-               netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
-
-               var clip Components.classes['@mozilla.org/widget/clipboard;[[[[1]]]]'].createInstance(Components.interfaces.nsIClipboard);
-               if (!clip) return;
-
-               // create a transferable
-               var trans = Components.classes['@mozilla.org/widget/transferable;[[[[1]]]]'].createInstance(Components.interfaces.nsITransferable);
-               if (!trans) return;
-
-               // specify the data we wish to handle. Plaintext in this case.
-               trans.addDataFlavor('text/unicode');
-
-               // To get the data from the transferable we need two new objects
-               var str = new Object();
-               var len = new Object();
-
-               var str = Components.classes["@mozilla.org/supports-string;[[[[1]]]]"].createInstance(Components.interfaces.nsISupportsString);
-
-               var copytext=meintext;
-
-               str.data=copytext;
-
-               trans.setTransferData("text/unicode",str,copytext.length*[[[[2]]]]);
-
-               var clipid=Components.interfaces.nsIClipboard;
-
-               if (!clip) return false;
-
-               clip.setData(trans,null,clipid.kGlobalClipboard);          
-       }
-} */