I’m trying to rename a variable in a Python file. I double click the first occurrence, it gets selected, the remaining occurrences are highlighted with an outline.
Now I would like to type the new name. What’s the keyboard shortcut? I’m struggling to find it in the documentation or in the menus. Basically I want to put multicursors to all the highlighted spots, so my edit will apply to all of them…