> 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.