David T-G ([EMAIL PROTECTED]) muttered:
> ...and then Michael Tatge said...
> % >
> % > What about a different approach: just search for [0-9\-/\.]*
^^^^^^
> % ([0-9]+[\.:/-]*)* would do for most numbers, phones, dates and times.
>
> % Only I cannot turn it off, which sucks.
>
> What's to turn off?
Right, you're talking about seraching not coloring, which I missed the
first time. Sorry.
Michael
--
Avoid the Gates of Hell. Use Linux
(Unknown source)
PGP-Key: http://www-stud.ims.uni-stuttgart.de/~tatgeml/public.key
