* src/devices/grohtml/html-table.cc (html_table::emit_col,
commitbab1459e30bb7fdec6871f719f78720dcd16b60a
authorWerner LEMBERG <wl@gnu.org>
Thu, 3 Apr 2003 06:43:54 +0000 (3 06:43 +0000)
committerWerner LEMBERG <wl@gnu.org>
Thu, 3 Apr 2003 06:43:54 +0000 (3 06:43 +0000)
tree1d0d255957ae5d331e1c651a11810e05f9719276
parentb59d031495a558f37ce7ea0c0d407058243d0bc2
* src/devices/grohtml/html-table.cc (html_table::emit_col,
html_table::is_gap): Compute table widths after converting border
positions to avoid rounding errors.

* src/devices/grohtml/html-text.cc (html_text::do_space): Handle
`space_emitted' properly.
ChangeLog
src/devices/grohtml/html-table.cc
src/devices/grohtml/html-text.cc