[cvs-nhc98] patch applied (hat): Oops, a reverse-video box should occupy a single character in the

[Malcolm Wallace]

Fri Feb 15 07:57:21 PST 2002  malcolm
  * Oops, a reverse-video box should occupy a single character in the
  pretty-printer, not more.  Use the `highlight' document combinator,
  rather than a literal string with embedded escape codes.

    M ./src/hattools/PrettyExp.hs -6 +6