>
home
>
Commands
query_replace_identifier
September 8th 2024
Queries the user for a string, and incrementally replace every occurence of the word or token found at the cursor with the specified string.