diff -r 4d198a32ac7d -r d4809db37847 plugins/org.symbian.tools.wrttools.doc.WebDeveloper/html/js/dtddoc.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/plugins/org.symbian.tools.wrttools.doc.WebDeveloper/html/js/dtddoc.js Thu Aug 19 17:48:04 2010 -0700 @@ -0,0 +1,26 @@ +if (window.top.developerMode === undefined) { + window.top.developerMode = false; +} +if (window.top.developerMode) { + document.getElementById("developer-style").disabled = true; +} + +function switchStylesheetHandler(event) { + window.top.developerMode = !(window.top.developerMode); + document.getElementById("developer-style").disabled = window.top.developerMode; + var b = getTargetNode(event); + if (b) { + b.firstChild.data = (window.top.developerMode ? "hide" : "show") + " advanced"; + } +} + +function init() { + var h = document.getElementById("header-links"); + if (h) { + var b = document.createElement("button"); + b.appendChild(document.createTextNode((window.top.developerMode ? "hide" : "show") + " advanced")); + attachEventListener(b, "click", switchStylesheetHandler); + h.insertBefore(document.createTextNode(" "), h.firstChild); + h.insertBefore(b, h.firstChild); + } +} \ No newline at end of file