From: Kai Willadsen [mailto:kai willadsen gmail com] On 23 April 2014 05:25, Dave Goldsmith <dgoldsmith seabird com> wrote: I want to ignore the change int->double (i.e., if there’s a double where there once was an int, ignore it): is this presently do-able using regex substitution expressions? It's not, no. Filters don't actually do regex substitutions... they just remove the text matched by the regex.
There's already an open bug to add a plugin system for filters: I think this would be my preferred way to fix things like this. Adding the ability to do arbitrary filtering makes for unpleasant UI, but I can definitely see the uses for more flexible filtering. cheers, Kai OK, good to know. And I see that the code base is in Python! Yippee: I’ll see what I can do to at least implement my desired feature. DLG ________________________________________________________________________ This email has been scanned for all viruses by the MessageLabs SkyScan service. |