X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=da69afb508f86d9caf8477e25cce97bfcfd65e2d;hb=37e80366f1930cd7043a79e0dcb1dfd282f678d3;hp=45c503eecacc596c733a780ba7e754e5270c1e14;hpb=858cab0d05698bc5033b678a5865839ee5d73091;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index 45c503eeca..da69afb508 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -319,16 +319,16 @@ term_is_utf8_xterm (void)
 void
 terminal_opts_done (struct terminal_opts *to, int argc, char *argv[])
 {
-  if ((0 == strcmp (locale_charset (), "UTF-8"))
-      ||
-      (term_is_utf8_xterm ()) )
-    {
-      string_map_insert (&to->options, "box", "unicode");
-    }
-  
   register_output_driver (to);
   if (!to->has_output_driver)
     {
+      if ((0 == strcmp (locale_charset (), "UTF-8"))
+	  ||
+	  (term_is_utf8_xterm ()) )
+	{
+	  string_map_insert (&to->options, "box", "unicode");
+	}
+  
       string_map_insert (&to->options, "output-file", "-");
       string_map_insert (&to->options, "format", "txt");
       register_output_driver (to);