2577 |
determine_header_level(level); |
determine_header_level(level); |
2578 |
write_header(); |
write_header(); |
2579 |
|
|
2580 |
// finally set the output to neutral for after the header |
/* |
2581 |
|
* finally set the output font to uninitialized, thus forcing |
2582 |
|
* the new paragraph to start a new font block. |
2583 |
|
*/ |
2584 |
|
|
2585 |
|
output_style.f = NULL; |
2586 |
g = page_contents->glyphs.get_data(); |
g = page_contents->glyphs.get_data(); |
2587 |
page_contents->glyphs.move_left(); // so that next time we use old g |
page_contents->glyphs.move_left(); // so that next time we use old g |
2588 |
} |
} |