Hi,
On Wed, 7 May 2008, Ping Yin wrote:
On Tue, May 6, 2008 at 4:55 PM, Johannes Schindelin
[off-list ref] wrote:
quoted
quoted
I will come up with an implementation still using diff.nonwordchars few
> days later.
If I did not like the unnecessary negative approach "nonwordchars" (as
opposed to "wordchars"), it seems even less appropriate now, when you
actually want to discern between "spaceCharacters",
"punctuationCharacters" and "wordCharacters".
Hmm, punctchars should be a better word than nonwordchars.
So how about this
--color-words={char,punct,word}
- char: one char one token
- punct/word: a token can be either a run of word characters or a
single punct character. diff.punctchars is used for punct, and
diff.wordchars is used for word.
I am rather interested in the semantics, i.e. if you can punch holes into
this 3-class approach.
Bikeshedding comes later ;-)
Ciao,
Dscho