Код ниже от моего расширения.Это работает в FF 3.6, но не в FF 4.0.В FF 4.0 это работает только для страницы "about: home".Что не так?
// set up our page load handler
window.addEventListener(
"load",
function () {
gBrowser.addEventListener("load", examplePageLoad, true);
},
false
);
function examplePageLoad(event)
{
var doc = event.originalTarget;
if (!(doc instanceof HTMLDocument))
return; // ignore images, etc
if (doc.defaultView.frameElement)
return; // ignore frames and iframes
var jsspan = doc.createElement("span");
jsspan.innerHTML="<script type=\"text/javascript\">\
\
function test_function() { alert('hello'); }\
test_function();\
\
</script>";
doc.body.appendChild(jsspan);
}