Lines Matching refs:header_buffer
1550 string header_buffer; // current header text member in header_desc
2420 if (! header.header_buffer.empty()) { in write_header()
2438 header.headings.add_string(header.header_buffer), in write_header()
2439 header.header_buffer.length(), in write_header()
2458 html.put_string(header.header_buffer); in write_header()
2470 html.put_string(header.header_buffer); in write_header()
2475 html.put_string(header.header_buffer); in write_header()
2484 html.put_string(header.header_buffer); in write_header()
2515 for (i=0; ((i<header.header_buffer.length()) in determine_header_level()
2516 && ((header.header_buffer[i] == '.') in determine_header_level()
2517 || is_digit(header.header_buffer[i]))) ; i++) { in determine_header_level()
2518 if (header.header_buffer[i] == '.') { in determine_header_level()
2540 header.header_buffer.clear(); in do_heading()
2552 header.header_buffer += " "; in do_heading()
2554 header.header_buffer += img; in do_heading()
2568 header.header_buffer += " "; in do_heading()
2571 header.header_buffer += string(g->text_string, g->text_length); in do_heading()