Bedienung > Hauptmenü > Menü: Suchen
Das Menü Suchen umfasst Funktionen zum Suchen und Ersetzen von Texten im aktuellen Editor-Fenster.und in allen Skripten eines Projekts.
Die Funktionen
Suchen
Suche wiederholen
Ersetzen
Gehe zu Zeile...
betreffen immer das aktuelle Editorfeld!
Suchen und Ersetzen in Skripten
Die Arten der Skripte, in denen Ausdrücke gesucht oder ersetzt werden sollen, können im Dialog unten ausgewählt werden.Wenn mehrere Skript-Typen ausgewählt sind, erfolgt die Suche vorwärts in der Reihe Token, Produktionen, Elemente und Tests. Sämtliche Felder der Skripte werden durchsucht. Wenn nicht der Schalter neu betätigt wird, beginnt die Suche im aktuellen Skript an der aktuellen Position und wird dann in den Skripten mit den alphabetisch folgenden Namen fortgesetzt.
Wenn eine Liste der Suchergebnisse erstellt werden soll, so erscheint sie in einem speziellen Fenster: Search. Durch Anklicken der Einträge dort, kann zur entsprechenden Position navigiert werden.