[debbugs-tracker] bug#16546: closed (C-s vs. whitespace highlighting)

[GNU bug Tracking System]

Your message dated Sat, 25 Jan 2014 22:23:13 +0800
with message-id <address@hidden>
and subject line Re: bug#16546: C-s vs. whitespace highlighting
has caused the debbugs.gnu.org bug report #16546,
regarding C-s vs. whitespace highlighting
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
16546: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16546
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> C-s vs. whitespace highlighting
>
>
>
>
> Date: 
>
> Sat, 25 Jan 2014 17:49:59 +0800
>
>
>
>
> Do C-s SPACE SPACE SPACE,
> notice that even isolated spaces are highlighted.
> The only spaces that should be highlighted are those three in a row,
> just like it works for e.g., C-s ddd.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#16546: C-s vs. whitespace highlighting
>
>
>
>
> Date: 
>
> Sat, 25 Jan 2014 22:23:13 +0800
>
>
>
>
> Well OK, it is all over my head. Closing.
>
>
> --- End Message ---