ascii: Always use Unicode boxes by default if appropriate.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 6 Jan 2019 18:38:50 +0000 (10:38 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 6 Jan 2019 21:17:31 +0000 (13:17 -0800)
This moves code from the command-line UI so that additional users
can benefit.  Currently that's just the command-line UI anyway
but others are coming.


No differences found