var HTMLMixedParser = Editor.Parser = (function() { if (!(CSSParser && JSParser && XMLParser)) throw new Error("CSS, JS, and XML parsers must be loaded for HTML mixed mode to work."); XMLParser.configure({useHTMLKludges: true}); function parseMixed(stream) { var htmlParser = XMLParser.make(stream), localParser = null, inTag = false; var iter = {next: top, copy: copy}; function top() { var token = htmlParser.next(); if (token.content == "<") inTag = true; else if (token.style == "xml-tagname" && inTag === true) inTag = token.content.toLowerCase(); else if (token.content == ">") { if (inTag == "script") iter.next = local(JSParser, "