-
Jonathan Schöbel authored
The copy_and_replace function replaces a single character with a string, while copying. This may be replaced by an elaborate function as manipulating a text normally means that manipulating is deferred until needed, which this function contradicts to.
Jonathan Schöbel authoredThe copy_and_replace function replaces a single character with a string, while copying. This may be replaced by an elaborate function as manipulating a text normally means that manipulating is deferred until needed, which this function contradicts to.