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);