From: Ben Pfaff <blp@gnu.org>
Date: Sat, 20 Jun 2009 02:44:14 +0000 (-0700)
Subject: Make the UTF-8 graphic devices avoid overstriking by default.
X-Git-Tag: v0.7.3~35
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e789c210f823ed199ae9211413ca6a6e362e15a;p=pspp-builds.git

Make the UTF-8 graphic devices avoid overstriking by default.

The UTF-8 graphic devices introduced in the previous commit use
backspaces and overstriking to indicate bold, but most users probably
won't appreciate that, since it makes it harder to work with the
output files in many text editors.  Thus, disable this behavior.

Thanks to John Darrington for pointing out the issue.
---

diff --git a/config/devices b/config/devices
index 210440b7..d42500cf 100644
--- a/config/devices
+++ b/config/devices
@@ -199,9 +199,9 @@ define utf8-graphics \
   box[0222]='\xe2\x95\xa3' box[1222]='\xe2\x95\xac' box[2222]='\xe2\x95\xac'
 
 tty-utf8:ascii:screen:length=$viewlength width=$viewwidth ${utf8-graphics} \
-  output-file=${tty-output-file}
+  output-file=${tty-output-file} emphasis=none
 list-utf8:ascii:listing:length=66 width=79 output-file=${list-output-file} \
-  ${utf8-graphics}
+  ${utf8-graphics} emphasis=none
 
 # Local Variables:
 # fill-prefix: "# "