Co je to ersetzen?

ersetzen = německy "nahradit" (anglicky "replace"), označuje funkci textového editoru, která umožňuje automaticky najít a nahradit určité části textu.

Textový editor zpravidla nabízí dialogové okno s možností "najít" (suchen nach) a "nahradit" (ersetzen durch). Poté nabízí volbu, zda chcete nahradit všechny výskyty či jen některé vámi vybrané.

Tato funkce umožňuje například najít v celém textovém dokumentu všechny výskyty slova "proposice" a nahradit je slovem "propozice". Je tak oblíbeným nástrojem pro urychlení automatické korektury textu.