Lines Matching refs:html
18 * some functions for browser-side pretty printing of code contained in html.
21 * Java, Python, Bash, SQL, HTML, XML, CSS, Javascript, and Makefiles.
31 * 1) include this source file in an html page via
35 * You can also use the (html deprecated) <xmp> tag, but the pretty printer
61 * @param {Array.<string>} out output buffer that receives chunks of HTML.
72 * @param {string} sourceCodeHtml code as html
73 * @return {string} code as html, but prettier
204 * http://www.mozilla.org/js/language/js20/rationale/syntax.html has the full
265 /** escapest html special characters to html. */
279 /** unescapes html to plain text. */
280 function htmlToText(html) {
281 var pos = html.indexOf('&');
282 if (pos < 0) { return html; }
286 for (--pos; (pos = html.indexOf('&#', pos + 1)) >= 0;) {
287 var end = html.indexOf(';', pos);
289 var num = html.substring(pos + 3, end);
297 html = (html.substring(0, pos) + String.fromCharCode(codePoint) +
298 html.substring(end + 1));
303 return html.replace(pr_ltEnt, '<')
346 // inner html is hopelessly broken in Safari 2.0.4 when the content is
347 // an html description of well formed XML and the containing tag is a PRE
422 // (2) /<!--.*?-->/: an HTML comment
433 /** split markup into chunks of html tags (style null) and
437 * @param {string} s html where whitespace is considered significant.
949 * @param {Array.<number|string>} extractedTags chunks of raw html preceded
953 * @return {string} html
957 var html = [];
958 // index past the last char in sourceText written to html
979 html.push('</span>');
984 html.push('<span class="', openDecoration, '">');
990 // http://stud3.tuwien.ac.at/~e0226430/innerHtmlQuirk.html
1001 html.push(htmlChunk.replace(newlineRe, '<br />'));
1027 html.push('</span>');
1030 html.push(extractedTags[tagPos + 1]);
1042 html.push('</span>');
1045 return html.join('');
1067 ['default-markup', 'html', 'htm', 'xhtml', 'xml', 'xsl']);
1140 // a decorated html string.
1197 // fetch the content as a snippet of properly escaped HTML.
1205 // push the prettified html back into the tag.
1207 // just replace the old html with the new
