Quote:
Originally Posted by kovidgoyal
There werent any changes to the editor search replace in 5.23, what version did you update from and post the full function
|
From 5.21.
def replace(match, number, file_name, metadata, dictionaries, data, functions, *args, **kwargs):
return match.group().replace(' ?','*?').replace(' !','*!').replace(' ;','*;').replace(' :','*:').replace(' »','*»').replace('« ','«*')
(This present editor change the no-break space with an * as you can see)
the search string is <.*?>