Hi,
On Wed, 7 May 2008, Ping Yin wrote:
> On Tue, May 6, 2008 at 4:55 PM, Johannes Schindelin
> <Johannes.Schindelin@xxxxxx> wrote:
> > > 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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
