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