Suchen und Ersetzen im Editor

Über das Menü Bearbeiten / Suchen wird ein Dialog geöffnet, in dem Sie nach Begriffen suchen bzw. sie ersetzen können.