Re: [PATCH v2 4/5] Make boundary characters for --color-words configurable
- From
Ping Yin <pkufranky@gmail.com>
- Date
- May 7, 2008, 01:15 UTC
- Message-ID
- <46dff0320805061815k6aca9020g285b09da2bcf29c3@mail.gmail.com>
- In-Reply-To
- <alpine.DEB.1.00.0805060954470.30431@racer>
On Tue, May 6, 2008 at 4:55 PM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 8 quoted lines
> > 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