Lines Matching refs:Pretty
18 * some functions for browser-side pretty printing of code contained in html.
35 * You can also use the (html deprecated) <xmp> tag, but the pretty printer
70 /** Pretty print a chunk of code.
1202 // do the pretty printing
