[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: shouldn't `delete-blank-lines' treat form-feed as whitespace?
From: |
Eli Zaretskii |
Subject: |
Re: shouldn't `delete-blank-lines' treat form-feed as whitespace? |
Date: |
Fri, 05 Mar 2010 10:48:42 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Wed, 03 Mar 2010 23:28:36 -0500
> Cc: 'Juri Linkov' <address@hidden>, address@hidden
>
> There's basically the notion of "blank" for characters that have no
> associated semantics in the corresponding language. And then there's
> the notion of "blank" for characters which *users* consider as having
> no semantics.
>
> Usually the first includes form-feed and other such things and is best
> handled by forward-comment. Usually the second only includes \s, \t,
> \n, \r but doesn't include form-feed.
Btw, as long as we are on this subject: `delete-blank-lines' should
also support Unicode characters whose meaning is whitespace. Right
now, it's strictly ASCII.