AsciiBoxDraw resource

When true, this causes box-drawing characters (the Unicode 2500 block) to be drawn with ASCII-art characters (,  and  ). This allows a readable representation of these characters on the screen when using fonts that do not include them or define them with the wrong width (e.g., as double-width DBCS characters).