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 210440b7ba9d18c92d67cf164d10a8256e0caea0..d42500cf4a04c687007dbe90d273ce228d435b64 100644 (file)
--- 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: "# "