* 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.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/devices/grops/ps.cpp b/src/devices/grops/ps.cpp
index 41aece50..c98215f1 100644
--- a/src/devices/grops/ps.cpp
+++ b/src/devices/grops/ps.cpp
@@ -1778,6 +1778,11 @@ void ps_printer::do_endinvis(char *, const environment *)
     --invis_count;
 }
 
+int printer::round_width(int x)
+{
+  return x;
+}
+
 printer *make_printer()
 {
   return new ps_printer(user_paper_length);