Searched refs:make_indent (Results 1 – 2 of 2) sorted by relevance
105 function make_indent(value) { function in OutputStream114 var current_indent = make_indent(options.indent_start);115 var full_indent = make_indent(options.indent_level);
184 function make_indent(back) { function in OutputStream289 print(make_indent(half ? 0.5 : 0));