Hey hey,
This has been discussed multiple times IRL already, but I thought it’d make sense to make it a proper feature request so that it does not get lost :-)
Right now, the only way to rename a symbol is to use the patch explorer. In other words, if you rename a property or a pin on an operation there, it gets renamed everywhere it’s present in the patch.
On the other hand, if you rename something in the patch directly, only that instance of that symbol gets renamed.
Could we also have the ability to rename a symbol directly from the patch? Visual studio allows you to do that by pressing CTRL + R + R

CTRL + R does not seem to do anything in a patch right now, maybe we could use that?
Thanks!