PK E#2chrome/PK A#2r$˻˻chrome/htmlheader.jarPK {#2content/PK {#2content/htmlheader/PK 1R`22%content/htmlheader/consoleOverlay.css.console{font-size: 11px; font-family: Courier;} PK 1"XX$content/htmlheader/consoleOverlay.jsconst CONSOLE_ID = "htmlHeaderConsole"; var htmlMetaConsole = { // init event handler dbgHandler: { handleEvent : function(Ev) { if(DEBUGGING) { // getById("sidebar-box").style.width = "450px ! important"; getById(CONSOLE_ID).setAttribute("collapsed", false); } else { getById(CONSOLE_ID).setAttribute("collapsed", true); } } }, inspectDocument : function(doc) { window.openDialog('chrome://inspector/content/', '_blank', 'all,dialog=no', doc); }, dumpObject : function(o) { if(!DEBUGGING) return false; var out = "== BEGIN OBJECT ==\n"; for (e in o) { out += e; try { if (typeof(o[e]) == "function") out += "()"; else out += ": " + o[e]; } catch(err) { out += ": Error: " + err; } out += '\n'; } this.consoleOut(out + "== END OBJECT ==\n\n"); }, consoleOut : function(txt) { if(!DEBUGGING) return false; document.getElementById("htmlHeaderConsole").value += txt + "\n"; }, show : function() { var sidebar = document.getElementById("sidebar-box").collapsed; document.getElementById("sidebar-box").collapsed = (!sidebar) ? true : false; } }; document.addEventListener('load', htmlMetaConsole.dbgHandler, true); // shortcuts function p(txt) { htmlMetaConsole.consoleOut(txt); } function d(obj) { htmlMetaConsole.dumpObject(obj); } PK ㄙ1JJ%content/htmlheader/consoleOverlay.xul PK 216TT$content/htmlheader/editTag-title.xul PK B1~)))content/htmlheader/editTag.jsconst TAG_CONTENT_ATTRIBUTE = "tagContent"; var tag = window.arguments[0]; var attr = new Array(); function editTagInit() { var hasContent = false; // adjust window size window.sizeToContent(); // initialize the edit dialog. find all input fields. // the id's of these input fields are the tag attribute names // we can handle. a special tag attribute/input id called "tagContent" is // used for tags which can contain CDATA (like style/script). var tagnames = ["textbox", "menulist"]; for(var i=0; i