Re: Default "box" option for ascii driver

[Ben Pfaff]

On Tue, Apr 09, 2013 at 09:53:15AM +0200, John Darrington wrote:
> The (ever increasingly misnamed) ascii driver supports unicode box 
> characters, which are
> must nicer than the ascii #==--- etc.  It would be good if more people knew 
> about it.
> Accordingly, I propose the following patch.
> 
> It causes the terminal user interface to start as if -O box=unicode had been 
> given iff
> 1. No explicit "box" option was specified; AND
> 2. The encoding of the locale is UTF-8
> 
> condition 2 is not absolutely robust.   It doesn't guarantee that the 
> terminal is
> capable of displaying UTF8, but it should work under most environments.
> 
> Any objections?

This seems reasonable to me.  I think that the documentation likely says
what the default for the "box" option.  It would be good to update that
to mention the new default.

Thanks,

Ben.