I have a filename like 'mushy 1234567 fruit.cat' and want to remove the digits but only if the substring is >= 3 and <= 10 long. For the example filename
Match: (.*)[0-9]{3,10}(.*)
Replace: \1\2
doesn't work but
Match: (.*)[0-9]{7}(.*)
Replace: \1\2
does. I have tested the {min, max} qualifier as in the example with other regex engines and it works.