From 6513ac64f6c33223da753d7a3665cedcc225faaf Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Thu, 13 Oct 2011 09:15:52 -0700
Subject: * parser.y (elem): Amending previous change. A single space should
 only denote multiple spaces, not mixtures of spaces and tabs. WE have to be
 careful with tabs because they can be semantically different from spaces
 (e.g. file with tab delimited fields which can be blank, empty or have
 leading or trailing spaces.)

* txr.1: Updated.
---
 parser.y | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'parser.y')

diff --git a/parser.y b/parser.y
index b814c1d6..18ff2d35 100644
--- a/parser.y
+++ b/parser.y
@@ -226,9 +226,7 @@ elems : elem                    { $$ = cons($1, nil); }
 elem : TEXT                     { $$ = string_own($1); }
      | SPACE                    { if ($1[0] == ' ' && $1[1] == 0)
                                   { val spaces = list(oneplus_s, 
-                                                      list(set_s, chr(' '),
-                                                           chr('\t'), nao),
-                                                      nao);
+                                                      chr(' '), nao);
                                     $$ = cons(regex_compile(spaces), spaces);
                                     free($1); }
                                   else
-- 
cgit v1.2.3