>>874 こんなだったかと old+ と new- の 差分
- var menu = document.createElementNS(kXULNS,'menu');
- menu.setAttribute('id','userContentjs.menu');
- menu.setAttribute('label','userContent.js');
-
- var menupopup = document.createElementNS(kXULNS,'menupopup');
- menupopup.setAttribute('id','userContentjs.menupopup');
- menupopup.setAttribute('accesskey','u');
- menupopup.setAttribute('onpopupshowing','onpopup()');
- menupopup.setAttribute('menugenerated','true');
- menu.appendChild(menupopup);
- var refmenu = document.getElementById('menu_preferences');
- refmenu.parentNode.insertBefore(menu,refmenu);
+ var overlay =
+ <overlay xmlns={ kXULNS }>
+ <menupopup id="menu_ToolsPopup">
+ <menu id="userContentjs.menu"
+ label="userContent.js"
+ insertbefore="menu_preferences">
+ <menupopup id="userContentjs.menupopup"
+ accesskey="u"
+ onpopupshowing="onpopup()"
+ menugenerated="true"/>
+ </menu>
+ </menupopup>
+ </overlay>;
+ overlay = "data:application/vnd.mozilla.xul+xml;charset=utf-8," + encodeURI(overlay.toXMLString());
+ document.loadOverlay(overlay, null);