Index: trunk/kernel/include/debugger.php =================================================================== diff -u -r988 -r999 --- trunk/kernel/include/debugger.php (.../debugger.php) (revision 988) +++ trunk/kernel/include/debugger.php (.../debugger.php) (revision 999) @@ -241,7 +241,16 @@ function getFileLink($file, $lineno = 1, $title = '') { if(!$title) $title = $file; - return ''.$title.''; + $is_mozilla=strpos(strtolower($_SERVER['HTTP_USER_AGENT']),'firefox')!==false?true:false; + if($is_mozilla) + { + return ''.$title.''; + } + else + { + return ''.$title.''; + } + } function getLocalFile($remoteFile) @@ -553,32 +562,33 @@ return true; } - function SetClipboard($data) + function SetClipboard(copyText) { - if (window.clipboardData) - { - window.clipboardData.setData('Text', $data); + if(window.clipboardData) + { + // IE send-to-clipboard method. + window.clipboardData.setData('Text', copyText); } else if (window.netscape) { - //netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect'); - var clip = Components.classes['@mozilla.org/widget/clipboard;1'].createInstance(Components.interfaces.nsIClipboard); - if (!clip) return; + // 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 trans = Components.classes['@mozilla.org/widget/transferable;1'].createInstance(Components.interfaces.nsITransferable); - if (!trans) return; - - trans.addDataFlavor('text/unicode'); - var str = new Object(); - var len = new Object(); + // Store support string in an object. var str = Components.classes["@mozilla.org/supports-string;1"].createInstance(Components.interfaces.nsISupportsString); + if (!str) return false; + str.data=copyText; - var $copytext=$data; + // Make transferable. + var trans = Components.classes["@mozilla.org/widget/transferable;1"].createInstance(Components.interfaces.nsITransferable); + if (!trans) return false; - str.data=$copytext; + // Specify what datatypes we want to obtain, which is text in this case. + trans.addDataFlavor("text/unicode"); + trans.setTransferData("text/unicode",str,copyText.length*2); - trans.setTransferData("text/unicode",str,$copytext.length*2); var clipid=Components.interfaces.nsIClipboard; + var clip = Components.classes["@mozilla.org/widget/clipboard;1"].getService(clipid); if (!clip) return false; clip.setData(trans,null,clipid.kGlobalClipboard);