Und wieder etwas...
Beispiel: Ich suche nach einem String X und will Ihn an manchen (nicht allen!) Stellen durch YYYYY ersetzen.
Rechts in der Suchergebnisliste werden ja die Positionen angezeigt und wenn man sich per F3 weiterhangelt, springt der Cursor ja immer an die Positionen, wo was gefunden wurde. Soweit okay.
Wenn ich aber nun ein X gegen das YYYYY ersetze, verschiebt sich natürlich die Position der nachfolgenden Zeichen, weil mehr Zeichen eingefügt als direkt ausgetauscht wurden. Dies wird aber von Scriptly nicht erfasst, sondern er springt dann bei F3 dorthin, wo er vorher den nächsten Treffer berechnet hat.
Beispiel: Zwei Treffer an Position 100 und 200. Bei Position 100 wird ein X durch YYYYY ersetzt, was den nächsten Treffer zu Position 204 verschieben würde. Bei F3 springt Scriptly aber trotzdem zu Position 200, wo das gesuchte X natürlich nicht mehr steht.
Wäre toll, wenn man das bei Gelegenheit auch noch verbessern könnte.