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