After undo-redo, the system forgets the original search string and its length and replaces it by a string from the text with the same length as the target string. Example:
Replace "gen" by "specific" after undo-redo results in replacing "general " (the length of "specific") with "specific".
Replace "general public" by "spe" after undo-redo results in replacing "gen" by "spe".
Apparently redo forgets the original search string and its length and copies whatever in the text starts at the match and goes on for the length of the target string.
After undo-redo, the system forgets the original search string and its length and replaces it by a string from the text with the same length as the target string. Example:
Replace "gen" by "specific" after undo-redo results in replacing "general " (the length of "specific") with "specific".
Replace "general public" by "spe" after undo-redo results in replacing "gen" by "spe".
Apparently redo forgets the original search string and its length and copies whatever in the text starts at the match and goes on for the length of the target string.