On Tue, May 6, 2008 at 4:55 PM, Johannes Schindelin
[off-list ref] wrote:
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.
We leave the choice to the user.
--
Ping Yin