rem: iframe.setAttribute("src", "javascript: " + encodeURIComponent(code)); 
add: iframe.contentDocument.location = "javascript: " + encodeURIComponent(code); 
context: function evaluateTypein(){  var code = gTextBoxEval.value;  var iframe = document.getElementById("Evaluator");  iframe.setAttribute("src", "javascript: " + encodeURIComponent(code));}
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/7cdbb43cf78193987d4dce5bd4201d145a868a52/console.js/clean/toolkit/components/console/content/console.js