Parent Directory | Revision Log | Patch
revision 1.26 by gaius, Thu Nov 10 08:36:53 2005 UTC | revision 1.27 by gaius, Tue Nov 22 17:39:19 2005 UTC | |
---|---|---|
# | Line 3732 void html_printer::flush_page (void) | Line 3732 void html_printer::flush_page (void) |
3732 | ||
3733 | flush_globs(); | flush_globs(); |
3734 | current_paragraph->done_para(); | current_paragraph->done_para(); |
3735 | current_paragraph->flush_text(); | |
3736 | ||
3737 | // move onto a new page | // move onto a new page |
3738 | delete page_contents; | delete page_contents; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |