diff options
author | wl <wl> | 2004-10-07 11:50:16 +0000 |
---|---|---|
committer | wl <wl> | 2004-10-07 11:50:16 +0000 |
commit | 2e43e0b990ad83032741393c8c4e0b1168eaf213 (patch) | |
tree | 68c9989b1d7cb6238354bed6dd398fe0a71c01ba /src/include | |
parent | 0e26260691b62c34c4cf40edfa01f9f0fe9944b9 (diff) | |
download | groff-2e43e0b990ad83032741393c8c4e0b1168eaf213.tar.gz |
* src/include/printer.h (printer): New virtual method `round_width'.
* src/devices/grodvi/dvi.cpp, src/devices/grolbp/lbp.cpp,
src/devices/grolj4/lj4.cpp, src/devices/grops/ps.cpp,
src/devices/grotty/tty.cpp (printer::round_width): New function
member.
* src/devices/grohtml/post-html.cpp (printer::round_width): New
function member.
(html_printer::set_numbered_char): Use it.
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/printer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/printer.h b/src/include/printer.h index 95c0a885..bfba19d5 100644 --- a/src/include/printer.h +++ b/src/include/printer.h @@ -83,6 +83,8 @@ public: virtual void end_of_line(); virtual void special(char *arg, const environment *env, char type = 'p'); + virtual int round_width(int); + protected: font_pointer_list *font_list; font **font_table; |