diff options
author | gaius <gaius> | 2005-11-22 17:39:19 +0000 |
---|---|---|
committer | gaius <gaius> | 2005-11-22 17:39:19 +0000 |
commit | 1a5feccd7fdd51fbb3cdfadc2b7b4fd22a7b5964 (patch) | |
tree | 43ed44e791c81473240dbbd317d441d78e13b923 /src/devices/grohtml | |
parent | e1b688767812770c1986d629874bda00a0763800 (diff) | |
download | groff-1a5feccd7fdd51fbb3cdfadc2b7b4fd22a7b5964.tar.gz |
* src/devices/grohtml/post-html.cpp (html_printer::flush_page):
added call to flush_text to flush any outstanding html tags
on the paragraph stack.
Diffstat (limited to 'src/devices/grohtml')
-rw-r--r-- | src/devices/grohtml/post-html.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/devices/grohtml/post-html.cpp b/src/devices/grohtml/post-html.cpp index c0a22692..028aafd0 100644 --- a/src/devices/grohtml/post-html.cpp +++ b/src/devices/grohtml/post-html.cpp @@ -3732,6 +3732,7 @@ void html_printer::flush_page (void) flush_globs(); current_paragraph->done_para(); + current_paragraph->flush_text(); // move onto a new page delete page_contents; |