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. _______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
