[cvs-nhc98] Oops, a reverse-video box should occupy a single character

Malcolm Wallace malcolm@sparud.net
Fri, 15 Feb 2002 16:57:21 +0100 (CET)


malcolm: Fri Feb 15 16:57:21 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv7440

Modified Files:
	PrettyExp.hs 
Log Message:
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.